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