Johnson, Philip I.
The ada primer: an introduciton to the ada language system
McGraw-Hill, 1985
 Buku Teks
Downes, Valerie A.
Programming embedded systems with ada
Prentice-Hall, 1982
 Buku Teks
Gehani, Narain, 1947-
Ada : an advanced introduction
Prentice-Hall, 1989
 Buku Teks
McGettrick, Andrew D.
Program verification using ada
Cambridge Univeristy Press, 1982
 Buku Teks
Wegner, Peter
Programming with ada: an introduction by means of graduated example
Prentice-Hall, 1980
 Buku Teks