Data Refinement in a Categorical Setting (1990)

by J He, C A R Hoare