Theoretical Foundations of Programming Methodology: "Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare" (Nato Science Series C:)