Towards a philosophy of real mathematics - Corfield, David (2003)