1. Ada Reference Manual, ISO/IEC 8652:2007(E) Ed. 3. Ada Europe (2007). http://www.adaic.org/standards/05rm/html/RM-TTL.html
2. Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, ninth dover printing, tenth gpo printing edn. Dover, New York (1964)
3. Akbarpour, B., Paulson, L.C.: Metitarski: an automatic theorem prover for real-valued special functions. J. Autom. Reason. 44(3), 175–205 (2010)
4. Amey, P.: Correctness by construction: better can also be cheaper. CrossTalk Mag. 24–28 (2002)
5. Barnes, J.: The spark way to correctness is via abstraction. Ada Lett. XX(4), 69–79 (2000). doi: 10.1145/369264.369271