From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl - Owe, Olaf; Owe, Olaf; Krogdahl, Stein; Krogdahl, Stein; Lyche, Tom; Lyche, Tom (Springer Berlin Heidelberg : Imprint: Springer, 2004)