-T. Ito/A.R. Meyer (Eds.): Theoretical Aspects of Computer Software, Springer-Verlag Proceedings 1991