Proofs and refutations: The logic of mathematical discovery

Imre Lakatos

Cambridge, 1976