Christine, Ausnit-Hood, Johnson, Kent A, Pettit, Robert G, and Opdahl, Steven B (1995). Ada 95 Quality and Style. LNCS 1344, Springer This is a valuable guide to writing good Ada programs. Topics covered include portability and reuse as well as stylistic issues. Most of it also applies to Ada 2012 and Ada 2022.Google Scholar

Barnes, John (2008). Ada 2005 Rationale. LNCS 5020, Springer-VerlagGoogle Scholar

Barnes, John (2013). Ada 2012 Rationale. LNCS 8338, Springer-Verlag These are the Rationales which were written as part of the standardization process for Ada 2005 and Ada 2012.Google Scholar

John Barnes with Altran Praxis (2012). SPARK – The proven approach to High Integrity Software. Altran Praxis This describes S_PARK 2005 which is based on a subset of Ada and includes annotations as Ada comments that enable tools to analyse a program for correctness.Google Scholar

Barnes, John with Brosgol, Ben (2015). Safe and Secure Software, an Invitation to Ada 2012. AdaCore This handy booklet describes aspects of Ada that contribute to safe programming. Topics range from Safe Syntax to Safe Concurrency and conclude with Certified Safe with Spark.Google Scholar

Booch, Grady (1986). Software Engineering with Ada, 2nd edn. Benjamin Cummings This well known classic was one of the first books to discuss how to design programs inGoogle Scholar

Ada; it is especially famed for object oriented programming.Google Scholar

Burns, Alan and Wellings, Andy (2007). Concurrent and Real-Time programming in Ada 2005. Cambridge University Press This is a very complete account of tasking in Ada 2005 and contains many canonical examples which explore all aspects of concurrency in considerable depth. It includes comprehensive coverage of both the Real-Time Systems annex and the Distributed Systems annex as well as the Ravenscar tasking profile.Google Scholar

Burns, Alan and Wellings, Andy (2016). Analysable Real-Time Systems Programmed in Ada. Amazon Books This book provides an in-depth analysis of the requirements for designing, verifying, and implementing real-time, embedded, cyber-physical systems; and discusses how these requirements are supported by the Ada programming language.Google Scholar

McCormick, John and Chapin, Peter (2015). Building High Integrity Applications with SPARK. Cambridge University Press This is a good introduction to S_PARK 2014 which is integrated into Ada 2012 using aspects such as pre- and postconditions and other assertions. The book targets students and programmers who are new to formal software verification.Google Scholar

ISO/IEC TR 24718:2004 (2004). Guide for the use of the Ada Ravenscar profile in high integrity systems. This ISO technical report describes the motivation for and how to use the Ravenscar profile.Google Scholar

Tucker Taft, S., Duff, Robert A., Brukardt, Randall L., Plödereder, Erhard, Leroy, Pascal, Schonberg, Edmond eds (2014). Ada 2012 Reference Manual. LNCS 8339, Springer This is the Ada 2012 standard in a single volume.Google Scholar

www.ada-europe.org Ada-Europe is an interest group on Ada. Its activities include an annual conference and the publication of the quarterly Ada User Journal. See for example the excellent paper entitled An Overview of Ada 202x by Jeff Cousins in the issue for September 2020.Google Scholar

www.adaic.org This site organized by the Ada Resource Association on behalf of the Ada Information Clearinghouse provides much information concerning companies offering Ada software and services, as well as new applications and developments.Google Scholar

www.adacore.com/about-spark This site gives access to a variety of material concerning S_PARK and applications.Google Scholar

www.ada-auth.org This site contains various documents and other material concerning the standardization of Ada. It includes the Ada Reference Manual, the ARM, and the AARM, the annotated version, and also the various Ada Issues concerning technical details.Google Scholar

www.cambridge.org/barnes12-22 This site contains auxiliary material regarding this book such as a complete set of answers to all exercises.Google Scholar

Abbot, Edwin A (1884). Flatland. Basil Blackwell This entertaining book is the basis of an example of multiple inheritance in Section 14.8. It is a satire on the structure of society at the time. Various reprints abound. Mine was published by HarperCollins and includes a preface by Isaac Asimov.Google Scholar

Gibson, William. and Sterling, Bruce (1991). The Difference Engine. Bantam Books This colourful Steampunk novel is about a Victorian world where Babbage’s engines are widely used, Lord Byron is Prime Minister of Britain and Ada is the Queen of Engines.Google Scholar

Knuth, Donald E (1973). The Art of Computer Programming, vol 3: Searching and Sorting. Addison-Wesley These books cover many aspects of the mathematics behind programming. Hash functions are in Section 6.4 of this volume.Google Scholar

Moore, Doris Langley (1977). Ada, Countess of Lovelace. John MurrayGoogle Scholar

Stein, Dorothy (1985). Ada, A Life and a Legacy. MIT Press These classic biographies contain much information about the life of Ada Lovelace.Google Scholar

Alexander Toole, Betty (1992). Ada, the Enchantress of Numbers. Strawberry Press This biography captures more of the spirit of Ada as the first programmer.Google Scholar

Hammerman, Robin and Russell, Andrew L (2016). Ada’s Legacy. ACM Books This fascinating book covers cultures of computing from the Victorian to Digital age. Topics include the mathematics of the difference engine, Ada Lovelace’s work with Babbage, the background, evolution, and use of the Ada language, and the role of women in computing and other industries.Google Scholar

Barnes, John (2012). Gems of Geometry, 2nd edn. SpringerGoogle Scholar

Barnes, John (2016). Nice Numbers. Birkhauser These books are based on lectures given at Oxford to mature students. Several examples in Programming in Ada are based on topics in these books such as: the geometry of the Fano plane where each line has just three points and vice versa, the Tower of Hanoi puzzle, the Sieve of Eratosthenes, Gaussian and polynomial primes, the RSA algorithm for encryption, pyramidal numbers and so on.Google Scholar