TY - BOOK AU - Conference on Foundations of Software Technology and Theoretical Computer Science (7th AU - Nori Kesav V., ed TI - Foundations of Software Technology and Theoretical Computer Science: Proceedings T2 - Lecture Notes in Computer Science SN - 3540186255 U1 - 005.1 PY - 1987/// CY - Berlin PB - Springer-Verlag ER -