From object-orientation to formal methods essays in memory of Ole-Johan Dahl / - Dahl, Ole-Johan,; Owe, Olaf.; Krogdahl, Stein.; Lyche, Tom. (Lecture notes in computer science,)