Foundations Of Software Technology And Theoretical Computer Science: Fourth Conference, Bangalore, India December 13–15, 1984 Proceedings 1984