Programming methodology : a collection of articles by members of IFIP WG2.3 - Gries, David, 1939- (Texts and monographs in computer science, 1978)