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