Carroll Morgan | Jim C.P. Woodcock
3rd Refinement Workshop
Proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hurslay Park and the Programming Research Group, University of Oxford), 9-11 January 1990, Hursley Park