- Programming with Specifications: An Introduction to ANNA. A Language for Specifying Ada Programs (Monographs in Computer Science) by David Luckham, 1990-10-23
- Reference Manual for the Ada Programming Language by American National Standards Institute, 1983
- The Programming Language Ada Reference Manual (Lecture Notes in Computer Science) by J. Hartmanis, 1983-09
- Programming in ADA by Richard S. Wiener, Richard F. Sincovec, 1983-03-23
- Programming With Ada: An Introduction by Means of Graduated Examples (Prentice-Hall software series) by Peter Wegner, 1980-04
- Reference Manual for the Ada Programming Language
- Proceedings of the ACM-SIGPLAN Symposium on the ADA Programming Language by Victor B.; (ed.) Schneider, 1980
- Ada: An Introduction to the Art and Science of Programming by Walter J. Savitch, Charles G. Petersen, 1992-02
- ADA Programming Course, December 2,3,4, 1980 by John Barnes, and Robert Firth Jean Ichbiah, 1980
- Rationale for the Design of the Ada Programming Language (The Ada Companion Series) by J. Ichbiah, J. Barnes, et all 1991-04-26
- ADA 9x Reference Manual: The Language and the Standard Libraries (Proposed American National Standard for Information Technology - Programming Languages, Programming Language ADA - Language and Standard Libraries) by W. Carlson, T. Taft, et all 1993
- The Programming Language Ada: Reference Manual. Proposed Standard Document United States Department of Defense (Lecture Notes in Computer Science)
- SIGPLAN Notices: Vol. 14, No. 6, June 1979, Part B: Rationale for the Design of the ADA Programming Language by Victor B.; (ed.) Schneider, 1979
- The Programming Language Ada. Reference Manual: American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 (Lecture Notes in Computer Science)
|