1. ISO/IEC 8652, 1995, Ada Reference Manual.
2. Aho, A. V, Hopcroft, J. E, and, Ullman, J. D. 1974, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, MA.
3. Barnes, J. 1997, High Integrity Ada—The SPARK Approach, Addison-Wesley, Harlow, England.
4. Blieberger, J., and Burgstaller, B.1998, Symbolic reaching definitions analysis of Ada programs, inProceedings of Ada-Europe'98, Uppsala, Sweden, June 1998, pp. 238–250.
5. Worst-case space and time complexity of recursive procedures;Blieberger;Real-Time Systems,1996