Friedrich L. Bauer, Manfred Broy: Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany. Lecture Notes in Computer Science 69, Springer 1979, ISBN 3-540-09251-X