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