-P. S. Thiagarajan (Ed.): Foundations of Software Technology and Theoretical Computer Science. Proceedings 1994, Springer-Verlag 1994