The design of well-structured and correct programs. - Alagic, Suad 1946- (New York Springer-Verlag, 1978)
Keywords: Electronic digital computers -- Programming; PASCAL (Computer program language)