TY - BOOK AU - Nori Kesav V Ed. ED - Symposium on foundations of software technology and theortical computer science (1987 : Puna India) TI - Proceeding on foundations of software technology and theoretical computer science T2 - Lecture notes in computre science; 287 U1 - D65,8(B)92p1,N87, M7 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Computer programming ER -