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