Title: Record of the Third Conference on Foundations of Software Technology and Theoretical Computer Science , 12-14 December 1983, Bangalore, India