From object-orientation to formal methods

by Ole-Johan Dahl, Olaf Owe, Tom Lyche

After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us…