Kelly, G (2001) Links to the INTErSECT Faraday Partnership - 3rd annual report from software support for metrology programme. NPL Report. CMSC 12/01
Kelly, G (1997) Formal specification in VDM-SL of the secure EDIFACT reference implementation. NPL Report. CISE 12/97
Kelly, G; Barker, R M; Parkin, G I; Stevens, M (1998) SCT: Building testing into standards. Comput. Stand. Interfaces, 19 (2). pp. 129-141.
Kelly, G (1999) Data fusion: from primary metrology to process measurement. In: IMTC/99 Proc. 16th IEEE Instrumentation and Measurement Technology Conf., 24-26 May 1999, Venice, Italy.