- Programming in Ada 2022 - John Barnes - 2024 - Definitive reference for Ada 2022; program proof, multicore, standard library; by the language expert.
- Programming in Ada 2012 with a Preview of Ada 2022 - John Barnes - 2022 - Comprehensive Ada 2012 with a look ahead at Ada 2022.
- Introducing Ada 2012 - John Barnes - 2012 - Concise overview of Ada 2012 for experienced programmers; free PDF.