"TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development" - читать интересную книгу автора (S. Abramsky, T.S.E. Maibaum)