4th Refinement Workshop Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge Morris Joseph M. Heftet / 1991 / Engelsk
