Data Refinement in a Categorical Setting (1987)

by C A R Hoare