Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
% (find-es "tex" "bibtex")
% (find-angg "LATEX/catsem.bib" "test")
% (eev "cd ~/LATEX/; grep ^@ < catsem.bib | tr '{},' '   ' | awk '{printf \"\\\\cite{%s}\\n\", $2}' | tee ~/o")
% (eev "cd ~/LATEX/; rm -fv catsembibtest.{aux,bbl,blg,log}; latex catsembibtest.tex; bibtex catsembibtest; latex catsembibtest.tex; latex catsembibtest.tex; rexdvi catsembibtest.dvi")
% (eev "cd ~/LATEX/; cp -v catsembibtest.bbl 2002h.bbl")
% (find-fline "~/LATEX/" " catsem")


\documentclass{article}
\usepackage[latin1]{inputenc}
\begin{document}

\cite{BorceuxIII}
\cite{Johnstone}
\cite{Luo}
\cite{MoeRey}
\cite{Pavlovic}
\cite{Prawitz65}
\cite{PrawitzIRPF}
\cite{BarbBera}
\cite{Barendregt}
\cite{BarrWells}
\cite{BellLST}
\cite{GeuversPhD}
\cite{GeuversSN}
\cite{HylandPitts}
\cite{Jacobs}
\cite{LawvereAdjBicat}
\cite{MacLaneMoerdijk}
\cite{McLarty}
\cite{Phoa}
\cite{SeelyPLC}
\cite{WadlerTfF}
\cite{WadlerGR}

\bibliography{catsem}
\bibliographystyle{alpha}

\end{document}