Olaf Owe Stein Krogdahl Tom Lyche From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl Essays in Memory of Ole-Johan Dahl Lecture Notes in Computer Science 2635 Springer 2004 3-540-21366-X db/conf/birthday/dahl2004.html