Program Construction International Summer School - Bauer, F. L. (Lecture Notes in Computer Science Ser.)