"From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl " - читать интересную книгу автора (Olaf Owe, Stein Krogdahl, Tom Lyche)