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