Data renement in a categorical setting (1990)

by He Jifeng, C A R Hoare