Foundations of Software Technology and Theoretical Computer Science Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings - Joseph, M. (Lecture Notes in Computer Science Ser.)