Proofs and refutations the logic of mathematical discovery - Lakatos, Imre (Cambridge University Press, 1981)
Reprinted with corrections, 1981