"Formal Methods in Software and Systems Modeling" - читать интересную книгу автора (Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg,...)