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