Derivation of axiomatic definitions of programming languages from algorithmic definitionsC. David Allen1972ACM Conference on Proving Assertions about Programs 1972