"TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development" - читать интересную книгу автора (Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari)