Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Martín Abadi, Takayasu Ito ((Lecture Notes in Computer Science))