5th Refinement Workshop: proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 by Refinement Workshop (5th 1992 London, England) | Menrva Books | MenrvaBooks