The design of well-structured and correct programs. - Alagić, Suad; Arbib, Michael A. (Berlin : Springer Verlag, 1978)