1. Ada Core Technologies. GNAT User’s guide, 5.02a1 edn., http://www.adacore.com/
2. Lecture Notes in Computer Science;J.A. Puente de la,2000
3. Chen, G., et al.: Pennbench: A benchmark suite for embedded java. In: 5th Workshop on Workload Characterization (WWC5) (2002), http://www.cse.psu.edu/~gchen/papers/wwc5.pdf
4. Guthaus, M.R., Ringenberg, J.S., Austin, D.E.T.M., Mudge, T., Brown, R.B.: Mibench: A free, commercially representative embedded benchmark suite. In: IEEE 4th Annual Workshop on Workload Characterization (2001), http://www.eecs.umich.edu/mibench
5. High Order Language Control Facility USAF. Ada Compiler Evaluation system Reader’s Guide for Version 2.1 (February 1996), http://www.adaic.org/compilers/aces/aces-intro.html