Published in collaboration with the British Computer Society.
BCS-FACS 7th refinement workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996. ISBN 3540761047. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.