ADA: An introduction - Ledgard Henry (New York Springer-Verlag, 1980)
ADA reference manual
Keywords: Computer science