Naoki Kobayashi Benjamin C. Pierce Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings TACS Lecture Notes in Computer Science 2215 Springer 2001 3-540-42736-8 db/conf/tacs/tacs2001.html