Edsger W. Dijkstra
-
Calculational semantics: Deriving programming theories from equations by functional predicate calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)