エドガー・ダイクストラ
(1976), A Discipline of Programming, Prentice-Hall Series in Automatic Computation, ISBN 0-13-215871-X — Guarded Command Language
Selected Writings on Computing: A Personal Perspective, Texts and Monographs in Computer Science, Springer-Verlag, 1982, ISBN 0-387-90652-5
A Method of Programming, E.W. Dijkstra, W.H.J. Feijen, trsl. by J. Sterringa, Addison Wesley 1988, ISBN 0-201-17536-3
Carel S. Scholten との共著 (1990). Predicate Calculus and Program Semantics. Springer-Verlag ISBN 0-387-96957-8 — 述語変換意味論
O.-J. Dahl, C. A. R. Hoare との共著 Structured Programming, Academic Press, London, 1972 ISBN 0-12-200550-3 Notes on Structured Programming (EWD249)がベースになっている。また、エイト・クイーンをバックトラッキングを使って解く構造化された例がある。