1. Appel, K., Haken, W.: Every Planar Graph is Four Colorable. Contemporary Mathematics 98, AMS, Providence (1989)
2. Atiyah, M., et al.: Responses to ‘Theoretical mathematics: Toward a cultural synthesis of mathematics and theoretical physics’. Bulletin of AMS 30, 178–211 (1994)
3. Babai, L.: Probably true theorems, cry wolf? Notices of AMS 41(5), 453–454 (1994)
4. Barrow, J.: Impossibility–The Limits of Science and the Science of Limits. Oxford University Press, Oxford (1998)
5. Blum, M.: How to prove a theorem so no one else can claim it. In: Proceedings of the International Congress of Mathematicians, Berkeley, California, USA, pp. 1444–1451 (1986)