4th Refinement Workshop: Proceedings Of The 4Th Refinement Workshop, Organised By Bcs-Facs, 9-11 January 1991, Cambridge (Workshops In Computing) 93,08 EUR*