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