TY - BOOK AU - Kesav VNori TI - Foundations of software technology and theoretical science SN - 3-540-18625-5 U1 - 004 PY - 1987/// CY - PB - Springer-Verlag ER -