"Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday" - читать интересную книгу автора (Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg,...)