3rd refinement workshop : proceedings of the 3rd Refinement Workshop : organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park and the Programming Research Group, University of Oxford, 9-11 January, 1990 /
Morgan, Carroll,1952-
Woodcock, J. C. P.,1956-
IBM United Kingdom.
Oxford University Computing Laboratory.Programming Research Group.
IBM UK Laboratories.
British Computer Society.
London : Springer-Verlag in collaboration with the British Computer Society,
1991.
Includes index
Computer software