BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 - Refinement Workshop; Jifeng, He; Cooke, John; Wallis, Peter; British Computer Society (Electronic workshops in computing, 1997)