Author: Conference on Foundations of Software Technology and Theoretical Computer Science (6th 1986 New Delhi, India)