The design of well-structured and correct programs - Alagic, Suad; Arbib, Michael A. (New York Springer, 1978)
Keywords: Pascal (Computer Program Language); Electronic Digital Computers--Programming