1. SPARK Examiner, The SPARK Ravenscar Profile (2004),
http://www.praxis-his.com/sparkada/pdfs/examiner_ravenscar.pdf
2. Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language, 3rd edn. Addison-Wesley, Reading (2000)
3. Barbasch, C., Egnor, D.: Always one more bug: Applying AdaWise to improve Ada code. In: Proceedings of the conference on TRI-Ada 1994, pp. 228–235. ACM Press, New York (1994)
4. Barnes, J.: High Integrity Software - The SPARK Approach to Safety and Security. Addison-Wesley, Harlow (2003)
5. Lecture Notes in Computer Science;J. Blieberger,1999