\documentstyle[html]{article}
\title{HACL: xxxx}
\author{}

\begin{document}
\maketitle

This page is still under construction.  Stay tuned.

Here we just list publications on this project.

\section{Publications}
\cite{Kobayashi93ILPS}
\cite{Kobayashi93LLW}
\cite{Kobayashi95FAC}
\cite{Kobayashi95TPPP}
\cite{Kobayashi95SAS}
\cite{Kobayashi94OOPSLA}
\cite{Kobayashi94RIMS}
\cite{Nakaya94JSSST}
\cite{Kobayashi95TAPOS}
\cite{Kobayashi96POPL}

\input{plink}
\bibliographystyle{alpha}
\bibliography{hacl}

%\input{hacl.bbl}

\end{document}
