An Algorithm for Solving Non-Linear Equations Based on the Secant Method. - John G. P. Barnes (Comput. J., 1965)

A KDF9 ALGOL list-processing scheme. - John G. P. Barnes (Comput. J., 1965)

Real time languages for process control. - John G. P. Barnes (Comput. J., 1972)

Some Characteristics of RTL/2 and their Relevance to Process Control. - John G. P. Barnes (Fachtagung über Programmiersprachen, 1974)

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)

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 Standardization of RTL/2. - John G. P. Barnes (Softw. Pract. Exp., 1980)

An Overview of Ada. - John G. P. Barnes (Softw. Pract. Exp., 1980)

Programming in Ada - plus an overview of Ada 9X (4. ed.). - John G. P. Barnes (Addison-Wesley, 1994)

Programming in Ada 95. - John G. P. Barnes (Addison-Wesley, 1995)

High Integrity Software - The SPARK Approach to Safety and Security. - John G. P. Barnes (Addison-Wesley, 2003)

SA1: introducing the best of ada. - John G. P. Barnes (SIGAda, 2007)

SP1: introducing the best of ada 2005. - John G. P. Barnes (SIGAda, 2007)