Refinement Calculus: A Systematic Introduction (1998)

by R-J R Back, J von Wright