1. Lect Notes Comput Sci,1997
2. Ada Semantic Interface Specification (ASIS); International Standard ISO/IEC 15291 1999 (E).
3. S. Tucker Taft, Robert A. Duff (Eds.); Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E); Lecture Notes in Computer Science, vol. 1246; Springer-Verlag, 1997; ISBN 3-540-63144-5.
4. http://www.epfl.ch/ada/formatter.html
(EPFL’s work on pretty-printing, including a text-to-HTML translator)
5. ftp://cs.nyu.edu/pub/gnat