Lakatos' philosophy of mathematics a historical approach - Koetsier, T. (North-Holland, 1991)