-K.V. Nori/C.E. Veni Madhavan (Eds.): Foundation of Software Technology and Theoretical Computer Science, Springer-Verlag Proceedings 1990