Title: Selected papers of the thirteenth Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, 15-17 December 1993
First published: 1995