Foundations of Software Technology and Theoretical Computer Science: Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1990)