Martín Abadi Takayasu Ito Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings TACS Lecture Notes in Computer Science 1281 Springer 1997 3-540-63388-X db/conf/tacs/tacs97.html