From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl

Olaf Owe , Tom Lyche , Stein Krogdahl