Data Refinement in a Categorical Setting by Oxford University Computing Laboratory. Programming Research Group | Menrva Books