On the Refinement Calculus gives one view of the development of the
refinement calculus and its attempt to bring together - among other
things - Z specifications and Dijkstra's programming language. It is an
excellent source of reference material for all those seeking the
background and mathematical underpinnings of the refinement calculus.