-K.V. Nori/S. Kumar (Eds.): Foundations of Software Technology and Theoretical Computer Science, Proceedings 1988, Springer-Verlag 1988