Refinement Calculus (1998)

by R-J Back, J von Wright