Proof and refutations - Lakatos Imre (1976)