From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl Owe Olaf Heftet / 2004 / Engelsk
Recent Trends in Data Type Specification 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers Haveraaen Magne Heftet / 1996 / Engelsk
Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings Owe Olaf Heftet / 2011 / Engelsk
