A modular operating system. - Brian A. Wichmann (IFIP Congress (1), 1968)

The Performance of Some Algol Systems. - Brian A. Wichmann (IFIP Congress (1), 1971)

An ALGOL-like Assembly Language for a Small Computer. - D. A. Bell; Brian A. Wichmann (Softw. Pract. Exp., 1971)

Five ALGOL compilers. - Brian A. Wichmann (Comput. J., 1972)

Estimating the execution speed of an Algol program. - Brian A. Wichmann (ACM SIGPLAN Notices, 1972)

Timing on computers. - W. Morven Gentleman; Brian A. Wichmann (SIGARCH Comput. Archit. News, 1973)

The Definition of Comments in Programming Languages. - Roger S. Scowen; Brian A. Wichmann (Softw. Pract. Exp., 1974)

Writing Algorithms in ALGOL 60. - I. D. Hill; Roger S. Scowen; Brian A. Wichmann (Softw. Pract. Exp., 1975)

A Synthetic Benchmark. - H. J. Curnow; Brian A. Wichmann (Comput. J., 1976)

Testing ALGOL 60 Compilers. - Brian A. Wichmann; B. Jones (Softw. Pract. Exp., 1976)

How to Call Procedures, or Secong Thoughts on Ackermann's Function. - Brian A. Wichmann (Softw. Pract. Exp., 1977)

Modified ALGOL 60 and the Step-Until Element. - R. M. De Morgan; I. D. Hill; Brian A. Wichmann (Comput. J., 1978)

The Development of Ada, the DoD Language. - Brian A. Wichmann (GI Jahrestagung, 1979)

A Program to Calculate the GAMM Measure. - Brian A. Wichmann; J. Du Croz (Comput. J., 1979)

Rationale for the design of the Ada programming language. - Jean Ichbiah; Bernd Krieg-Brückner; Brian A. Wichmann; John G. P. Barnes; Olivier Roubine; Jean-Claude Heliard (ACM SIGPLAN Notices, 1979)

A Draft Description of Pascal. - A. M. Addyman; R. Brewer; D. G. Burnett-Hall; R. M. De Morgan; W. Findlay; M. I. Jackson; David A. Joslin; Michael J. Rees; David A. Watt; Jim Welsh; Brian A. Wichmann (Softw. Pract. Exp., 1979)

Modules and Visibility in the Ada Programming Language. - Jean Ichbiah; John G. P. Barnes; Jean-Claude Heliard; Bernd Krieg-Brückner; Olivier Roubine; Brian A. Wichmann (On the Construction of Programs, 1980)

The Efficiency of Pascal. - Brian A. Wichmann (Pascal - The Language and its Implementation, 1981)

A Comparison of Pascal and Ada. - Brian A. Wichmann (Comput. J., 1982)

Requirements Analysis for Ada Compilers. - Peter J. L. Wallis; Brian A. Wichmann (Commun. ACM, 1984)

Is Ada Too Big? A designer Answers the Critics. - Brian A. Wichmann (Commun. ACM, 1984)

Ada - language and methodology. - David A. Watt; Brian A. Wichmann; William Findlay (Prentice Hall, 1987)

A prototype system for the validation of Pascal programs. - Peter T. Wilkinson; J. A. Bouchard; B. A. Byrne; Michael A. Hennell; P. Jackson; G. O'Neill; Graeme I. P. Parkin; Brian A. Wichmann (Softw. Eng. J., 1988)

Good programming practice in Ada: Luker, P A Blackwell Scientific, Oxford, UK (1987) £14.95 (soft cover), pp 320. - Brian A. Wichmann (Microprocess. Microsystems, 1988)

Towards a Formal Specification of Floating Point. - Brian A. Wichmann (Comput. J., 1989)

Scientific processing in ISO-Pascal: a proposal to get the benefits of mixed precision floating-point. - Brian A. Wichmann (ACM SIGPLAN Notices, 1989)

Proposal for a Language Compatible Arithmetic Standard. - Mary Payne; Craig Schaffert; Brian A. Wichmann (ACM SIGPLAN Notices, 1990)

Run-time Detection of Undefined Variables Considered Essential. - Willett Kempton; Brian A. Wichmann (Softw. Pract. Exp., 1990)

An Ada program test generator. - S. M. Austin; D. R. Wilkins; Brian A. Wichmann (TRI-Ada, 1991)

The choice of computer languages for use in safety-critical systems. - W. J. Cullyer; S. J. Goodenough; Brian A. Wichmann (Softw. Eng. J., 1991)

A Note on the Use of Floating Point in Critical Systems. - Brian A. Wichmann (Comput. J., 1992)

Problems and Strategies for Software Component Testing Standards. - Brian A. Wichmann; M. G. Cox (Softw. Test. Verification Reliab., 1992)

Conformity Clause for VDM-SL. - Graeme I. P. Parkin; Brian A. Wichmann (FME, 1993)

Microprocessor design faults. - Brian A. Wichmann (Microprocess. Microsystems, 1993)

Contribution of standard programming languages to software quality. - Brian A. Wichmann (Softw. Eng. J., 1994)

Industrial perspective on static analysis. - Brian A. Wichmann; A. A. Canning; D. L. Clutterbuck; L. A. Winsborrow; N. J. Ward; D. William R. Marsh (Softw. Eng. J., 1995)

Design of Dependable Ada Software, by G. Motet, A. Mapinard and J. C. Geoffroy, Prentice Hall, 1995 (Book Review). - Brian A. Wichmann (Softw. Test. Verification Reliab., 1996)

High Integrity Ada. - Brian A. Wichmann (SAFECOMP, 1997)

Ada for High Integrity. - Brian A. Wichmann (SSS, 1998)

Looking into Safety with the Safety and Security Rapporteur Group. - Stephen Michell; Mark Saaltink; Brian A. Wichmann (SIGAda, 1998)

Events & Sightings. - Mary Croarken; Dorian James Rutter; Tony Mann; Alexander M. Fedorec; Brian A. Wichmann (IEEE Ann. Hist. Comput., 2004)

Generating good pseudo-random numbers. - Brian A. Wichmann; I. D. Hill (Comput. Stat. Data Anal., 2006)

Whetstone Wanderings. - Brian A. Wichmann (Dependable and Historic Computing, 2011)