(en) M. Broy et Günther Schmidt (éditeurs), 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, Reidel, coll. « Nato Science Series C » (no 91), , 672 p. (ISBN978-94-009-7893-5, présentation en ligne, lire en ligne).
(en) M. Broy et Günther Schmidt (éditeurs), 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, Reidel, coll. « Nato Science Series C » (no 91), , 672 p. (ISBN978-94-009-7893-5, présentation en ligne, lire en ligne).