Foundations of software technology and theoretical computer science 14th conference, madras, India, December 1994 proceedings (Lecture notes in computer science, 1994)