Barker, R M; Wichmann, B (2000) Guidance for accredited laboratories on the use of computers. Accreditation and Quality Assurance, 5 (7). pp. 287-288.

Cox, M G; Dainton, M; Harris, P M; Wichmann, B (1999) Survey report on testing spreadsheets and other packages used in metrology from the UK software support for metrology programme. NPL Report. CISE 22/99

Wichmann, B (1999) Guide for the validation of measurement software. IEE Colloq. Dig., 160. pp. 5/1-5.

Bhansali, P V*; Burns, A*; Carre, B*; Craigen, D*; Johnson, N*; Michell, S*; Motet, G*; Romanski, G*; Saaltink, M*; Rowlands, G*; Tacy, A*; Thornley, J P*; Tombs, D*; Vardanega, T*; Wichmann, B (1998) Guidance for the use of the Ada programming language in high integrity systems. Ada Letters, 18 (4). pp. 47-94.

Wichmann, B (1998) Objective test criteria, some proposals for bespoke software. NPL Report. CISE 16/98

Wichmann, B (1997) Software in scientific computing. Measurement Good Practice Guide. 5

Wichmann, B (1997) Testing Ada fixed point operations. NPL Report. CISE 11/97

Wichmann, B (1997) High Integrity Ada. In: Safecomp '97, 7-10 September 1997, York, UK.

Mukherjee, P*; Wichmann, B (1995) Formal specification of the STV Algorithm. In: Applications of Formal Methods. UNSPECIFIED. ISBN 0-013-3669494-1

Wichmann, B (1995) Why it is difficult producing safety critical software? Ingenuity, 10 (May). pp. 96-104.

Wichmann, B; Canning, A A*; Clutterbuck, D L*; Winsborrow, L A*; Ward, N J*; Marsh, D W R* (1995) An industrial perspective on static analysis. Softw. Eng. J., 10 (2). 69 - 75

Wichmann, B (1994) Strategy on the use of SPARK. NPL Report. DITC 227/94

Wichmann, B (1994) Contribution of standard programming languages to software quality. Softw. Eng. J., 9 (1). pp. 3-12.

Wichmann, B (1994) Modularization for assurance: gauging safety and quality. In: Proc. Conf. Safety through quality. British Computer Society Modular Languages Special Interest Group, 6 - 7 June 1994.

Wichmann, B (1994) Producing critical systems: the Ada 9X solution. In: Redmill, F, and Anderson, T, eds. Technology and assessment of safety-critical systems. Springer-Verlag.

Mukherjee, P*; Wichmann, B (1993) STV: a case study of the use of VDM. NPL Report. DITC 219/93

Wichmann, B (1993) PostScript - A study in conformity. NPL Report. DITC 214/93

Parkin, G; Wichmann, B (1993) Conformity clause for VDM-SL. In: Proc. FME '93 (Formal Methods Europe), April 1993, Odense, Denmark.

Wichmann, B (1993) Document quality. Quality News, 19 (5). pp. 227-228.

Wichmann, B (1993) Microprocessor design faults. Microprocess. Microsyst., 7 (7). pp. 399-400.

Wichmann, B (1993) Programming critical systems: the Ada 9X solution. Comput. Bull., 5 (5). p. 15.

Wichmann, B (1993) Quality assurance for test and measurement software. In: 6th British Electromagnetic Measurements Conference Digest (BEMC 93), 2-4 November 1993, NPL, Teddington, UK.

Wichmann, B (1993) Software certification and testing. IEE Colloq. Dig., 208. 7/1-7/3

Wichmann, B (1993) Why are there no measurement standards for software testing? Comput. Stand. Interfaces, 15. pp. 361-364.

Wichmann, B (1993) A review of a safety-critical software standard.