\begin{minipage}{360pt}
\begin{flushleft}
{\Large\bfseries References}
\end{flushleft}
\settowidth{\dd}{[Lakatos 76]}
\begin{list}{}%
{\setlength{\labelwidth}{\dd}%
\setlength{\leftmargin}{\dd}%
\addtolength{\leftmargin}{\labelsep}}
\item[{\rmfamily [Hallett 79]}\hfill]
Michael Hallett,
`Towards a Theory of Mathematical Research Programmes (I)',
{\itshape British Journal for the Philosophy of Science},
vol.~30 (1979), pp.~1--25.
\item[{\rmfamily [Lakatos 76]}]
Imre Lakatos,
{\itshape Proofs and Refutations:
The Logic of Mathematical Discovery},
[Cambridge, Cambridge University Press, 1976].
\end{list}
\end{minipage}

