Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / - Abadi, Martín.; Itō, T. (Lecture notes in computer science,)