"Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings " - читать интересную книгу автора (Martin Abadi, Takayasu Ito)