Structured Derivations as a Unifying Proof Format
The structured derivation format is a further development of the calculational proofs that were originally proposed by Edsger W. Dijkstra, Wim Feijen, and Nettie van Gasteren, in the 1980s. A calculational proof is essentially a chain of relations, written with explicit justifications for…