1. R.-J. Back and J. von Wright. 2008. Refinement Calculus: A Systematic Introduction . Springer New York.
2. R. C. Backhouse. 1986. Program Construction and Verification . Prentice-Hall International Englewood Cliffs NJ.
3. Combining relational calculus and the Dijkstra–Gries method for deriving relational programs
4. E. W. Dijkstra. 1962a. Some meditations on advanced programming. In IFIP Congress . North-Holland 535–538.
5. E. W. Dijkstra. 1962b. Over de sequentialiteit van procesbeschrijvingen. EWD35. https://www.cs.utexas.edu/~EWD/ewd00xx/EWD35.PDF.