Program construction : international summer school - Bauer, Friedrich L. (Lecture Notes in Computer Science ;, 1979)