Text this: Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan, ed.