TY - BOOK AU - Nori K V ED - Conference on Foundations of Software Technology and Theoretical Computer Science( 10th : 1990 : Bangalore ) ED - Conference on Foundations of Software Technology and Theoretical Computer Science 10th TI - Software technology and theoretical computer science : proceedings U1 - 5.3 PY - 1990/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Software technology ER -