TY - BOOK AU - Madhavan C E Veni ED - Conference on Foundations of Software Technology and Theoretical Computer Science( 9th : 1989 : Bangalore ) ED - Conference on Foundations of Software Technology and Theoretical Computer Science 9th TI - Software technology and theoretical computer science : proceedings U1 - 5.3 PY - 1989/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Software technology ER -