Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984, Proceedings: v. 181 by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1984)