BCS-FACS 7th Refinement Workshop proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3 - 5 July 1996 (Springer, 1997)