You are about to access our book library "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:, 91) full version"
.