Title: Fifth Conference on Foundations of Software Technology and TheoreticalComputer Science, New Delhi, December 1985