1. DaimlerChrysler Research. Ada Cross-Referencer. In Proceedings ACM SIGAda Annual International Conference (SIGAda2001), 2001, p. 131
2. Ada Reference Manual (Information technology-Programming languages-Ada), International Standard ISO/IEC 8652:1995(E)
3. AdaSTAT, a static analysis tool for Ada95, DCS IP LLC Corporation, http://www.adastat.com
4. A.V. Aho, R. Sethi, J.D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, Massachusetts, USA, 1986
5. J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, Harlow, England, 1997