Kristin Braa University of Oslo Department of Informatics PO Box 1080, Blindern Oslo 316 NO Telephone -852361
