Proofs and Refutations – The Logic of Mathematical Discovery - Lakatos, I (Cambridge University, 1976)