\begin{thebibliography}{Lakatos 76}
\bibitem[Hallett 79]{hal:towards}
Michael Hallett,
`Towards a Theory of Mathematical Research Programmes (I)',
{\itshape British Journal for the Philosophy of Science},
vol.~30 (1979), pp.~1--25.
\bibitem[Lakatos 76]{lak:proofs}
Imre Lakatos,
{\itshape Proofs and Refutations:
The Logic of Mathematical Discovery},
[Cambridge, Cambridge University Press, 1976].
\end{thebibliography}

