Data refinement in a categorical setting - He, Jifeng 1943-; Hoare, Charles A. R. 1934- (1990)