TY - BOOK AU - Conference on Foundations of Software Technology and theoritical computer science (India : 1987) TI - Foundations of software technology and theoretical computer science: proceedings /ed. by Kesav V. Nori T2 - Lecture notes in computer science SN - 3540186255 U1 - 005.1 PY - 1987/// CY - Berlin PB - S-V ER -