Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings - Kobayashi, Naoki; Kobayashi, Naoki; Pierce, Benjamin C.; Pierce, Benjamin C. (Springer Berlin Heidelberg : Imprint: Springer, 2001)