BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 - Cooke, John, 1947-; Jifeng, He, 1943-; Wallis, Peter J. L. (Electronic workshops in computing, 1997)