-M. Abadi/T. Ito (Eds.): Theoretical Aspects of Computer Software. Proccedings, Springer-Verlag 1997