Proofs and refutations The logic of math. discovery. Ed. by John Worrall and Elie Zahar - Lakatos, Imre 1922-1974 (Cambridge Univ. Pr., 1976)