% LaTeX source for CIVL Reference Manual.
\documentclass[11pt, oneside, letterpaper]{book}
\usepackage[letterpaper,textheight=9in,left=1in,%
  textwidth=6.5in,bottom=1in]{geometry}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{xcolor}
\usepackage{bbold}
\usepackage{url}
\usepackage[lined,vlined,linesnumbered,noresetcount]{algorithm2e}

\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
\include{part-introduction}
\include{part-language}
\include{part-semantics}
\include{part-tools}
\end{document}