Foundations of software technology and theoretical computer science. - Thiagarajan, P.S (Springer-Verlag, 1994)