Author: Conference onFoundations of Software Technology and Theoretical Computer Science (14th 1994 Madras, India)