"Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, ... II: Mathematics, Physics and Chemistry)" - читать интересную книгу автора (Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare)