5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 1-10 January 1992 (Workshops in Computing)