A mathematical basis for Dijkstra-Hoare semantics - MacGowan, Clement; Misra, Jayadev (1973)