High Integrity Software: The SPARK Approach to Safety and Security 1/e © 2003
John Barnes

Programming in Ada 95 2/e © 1998
John Barnes

Ada 95 From the Beginning 3/e © 1997
J. Skansholm

Ada 95: Problem Solving and Program Design 3/e © 1997
Michael B. Feldman
Elliot B. Koffman

High Integrity Ada: The Spark Approach 1/e © 1997
J. Barnes

Software Engineering with ADA 3/e © 1994
Grady Booch
Doug Bryan