Theoretical Aspects of Computer Software Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings Abadi Martin Heftet / 1997 / Engelsk
