-M. Hagiya/J. C. Mitchell (Eds.): Theoretical Aspects of Computer Software, Proceedings 1994, Springer-Verlag 1994