"Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings " - читать интересную книгу автора (Naoki Kobayashi, Benjamin C. Pierce)