5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
Refinement Workshop(5th :1992 :London, England)
Jones, C. B.(Cliff B.),1944-
Shaw, Roger C.,1945-
Denvir, Tim.
London : Springer-Verlag,
1992.
"Published in collaboration with the British Computer Society."