Rutger M. Dijkstra Computation calculus bridging a formalization gap. 3-36 2000 37 Sci. Comput. Program. 1-3 db/journals/scp/scp37.html#Dijkstra00