1. Aberdein A. (2006) Managing informal mathematical knowledge: Techniques from informal logic. Lecture Notes in Artificial Intelligence 108: 208–221
2. Aberdein A. (2007) The informal logic of mathematical proof. In: Van Kerkhove B., Van Bendegem J.P.(eds) Perspectives on mathematical practices. Springer, Dordrecht, pp 135–151
3. Aigner M., Ziegler G.M. (1998) Proofs from the book. Springer, New York
4. Aschbacher M. (2004) The status of the classification of the finite simple groups. Notices of the AMS 51(7): 736–740
5. Cipra, B. (1996). What’s happening in the mathematical sciences. Vol. 3. American Mathematical Society, Providence, RI.