-Foundations of Software Technology and Theoretical Com- puter Science. Proceedings, Springer-Verlag 1985. Edited by S.N. Maheshwari. IX, 522 pages, 1985