"Theoretical Aspects of Computer Software: International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 - Proceedings " - читать интересную книгу автора (Masami Hagiya, John C. Mitchell)