Data refinement in a categorical setting. Unpublished manuscript (1987)

by C A R Hoare