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