Program construction international summer school - Bauer, Friedrich Ludwig, 1924-; Broy, M, 1949- (Lecture notes in computer science, 1979)