Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings Kobayashi Naoki Heftet / 2001 / Engelsk
