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