Author: Conference on Foundations of Software Technology and Theoretical Computer Science (7th 1987 Pune, India)