Foundations of software technology and theoretical computer science : FOURTH CONFERENCE, BANGALORE, INDIA DECEMBER 13-15, 1984., PROCEEDINGS - Mathai, Joseph (Springer Verlag, 1984)