5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. ISBN 0387197524. Published by Springer, in collaboration with the British Computer Society in 1992. Publication and catalogue information, links to buy online and reader comments.