Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Abadi, Martin; Abadi, Martin; Ito, Takayasu; Ito, Takayasu (Springer Berlin Heidelberg : Imprint: Springer, 1997)