The Design of Well-Structured and Correct Programs - Alagic, Suad; Arbib, Michael A. (Springer Verlag, 1978)