-R.K. Shyamasundar (Ed.): Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag Proceedings 1993