The Professional Programmer's Guide to ADA by J. Dawes
Ada - the first major programming language to be founded upon, and to incorporate the principles of, software engineering - originated from the US Department of Defense and has since found widespread favour with large-scale software developments of all kinds. This text is a handy reference guide which avoids extensive cross-referencing and presents all the features of the language in an accessible and intelligible way, making it invaluable to anyone who designs or programs in Ada.