Foundations of software technology and theoretical science - Kesav VNori (Springer-Verlag, 1987)