Programming methodology: A collection of articles by members of IFIP WG 2.3 - Gries, David (Springer-Verlag, 1978)