Formal Aspects of Measurement Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 Denvir Tim Heftet / 1992 / Engelsk
5th Refinement Workshop Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992 Jones Cliff B. Heftet / 1992 / Engelsk
