Program construction : international summer school - Bauer, Friedrich L. (Springer Verlag, 1979)