Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, Dec. 13-15, 1984, proceedings - Joseph, M.; Shyamasundar, Rudrapatna, 1950- (Lecture notes in computer science, 1984)