]. I. Lakatos
,
Proofs and Refutations: The Logic of Mathematical Discovery
,
1976
.