Ward, Martin (1989). Proving Program Refinements and Transformations (DPhil Thesis). Oxford University.{{cite book}}: CS1 maint: location missing publisher (link) https://www.researchgate.net/publication/243677308 ↩