\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Bowman, Debray, and Peterson}{Bowman
  et~al.}{1993}]{bowman:reasoning}
\bibsc{Bowman, M., Debray, S.~K., and Peterson, L.~L.} \bibyear{1993}.
\newblock Reasoning about naming systems.
\newblock \bibemphic{ACM Trans. Program. Lang. Syst.}~\bibemph{15},~5
  (November), 795--825.

\bibitem[\protect\citeauthoryear{Braams}{Braams}{1991}]{braams:babel}
\bibsc{Braams, J.} \bibyear{1991}.
\newblock Babel, a multilingual style-option system for use with latex's
  standard document styles.
\newblock \bibemphic{TUGboat}~\bibemph{12},~2 (June), 291--301.

\bibitem[\protect\citeauthoryear{Herlihy}{Herlihy}{1993}]{herlihy:methodology}
\bibsc{Herlihy, M.} \bibyear{1993}.
\newblock A methodology for implementing highly concurrent data objects.
\newblock \bibemphic{ACM Trans. Program. Lang. Syst.}~\bibemph{15},~5
  (November), 745--770.

\bibitem[\protect\citeauthoryear{Lamport}{Lamport}{1986}]{Lamport:LaTeX}
\bibsc{Lamport, L.} \bibyear{1986}.
\newblock \bibemph{LaTeX User's Guide and Document Reference Manual}.
\newblock Addison-Wesley Publishing Company, Reading, Massachusetts.

\bibitem[\protect\citeauthoryear{Salas and Hille}{Salas and
  Hille}{1978}]{salas:calculus}
\bibsc{Salas, S. and Hille, E.} \bibyear{1978}.
\newblock \bibemph{Calculus: One and Several Variable}.
\newblock John Wiley and Sons, New York.

\end{thebibliography}