From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - Olaf Owe, Stein Krogdahl, Tom Lyche ((Lecture Notes in Computer Science))