The Design of Well-Structured and Correct Programs (1978)

by S Alagić, M A Arbib