автор: Trevor Vickers

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. …