Programming methodology. A collection of articles by members of IFIP WG2.3. - Springer Verlag, 1978. - ( Texts and Monographs in Computer Science ).