% LaTeX source for CIVL Reference Manual.
\documentclass[12pt, oneside, letterpaper]{book}
\usepackage[letterpaper,textheight=9.5in,left=.75in,%
  textwidth=7in,bottom=.75in]{geometry}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{xcolor}
\usepackage{bbold}
\usepackage{url}
\usepackage{hyperref}
\usepackage[lined,vlined,linesnumbered,noresetcount]{algorithm2e}
\usepackage{graphicx}
\graphicspath{{../images/}}

\include{preambular}

\title{%
  {\huge\bf CIVL}\\
  \mbox{The Concurrency Intermediate Verification Language}\\
  Reference Manual\\
  v0.8
}
\author{%
  Matthew B.\ Dwyer \and
  Ganesh Gopalakrishnan \and
  Zvonimir Rakamaric \and
  Stephen F.\ Siegel \and
  Manchun Zheng \and
  Timothy K.\ Zirkel
}

\begin{document}
\maketitle
\tableofcontents
\input{part-introduction}
\input{part-language}
\input{part-semantics}
\input{part-tools}

\bibliographystyle{acm}
\bibliography{civl}

\end{document}
