Data refinement in a categorical setting (1990)

by CAR Hoare, J He