The design of well-structured and correct programs. - Alagic, Suad 1946- (Texts and monographs in computer science, 1978)