Proofs and refutations : the logic of mathematical discovery - Lakatos, Imre (Cambridge University Press, 1976)