FME '94: Industrial Benefit of Formal Methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings Naftalin Maurice Heftet / 1994 / Engelsk
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