1 \documentclass[a4paper,twoside]{book}
4 %\pagestyle{myheadings} \footheight 12pt \footskip 72pt
9 \setlength{\textwidth}{16cm}
10 \setlength{\textheight}{23cm}
11 \setlength{\topmargin}{0mm}
12 \setlength{\oddsidemargin}{0cm}
13 \setlength{\evensidemargin}{0cm}
16 \parskip\medskipamount
18 \newenvironment{mylist}[1]{
20 {\settowidth{\labelwidth}{#1}
21 \leftmargin\labelwidth \addtolength{\leftmargin}{\labelsep}
22 \itemsep0ex \parsep0ex
23 \renewcommand{\makelabel}[1]{##1\hfill}
27 \title{The CACAO Java Virtual Machine}
29 \author{Andreas Krall et al.}
55 \include{verification}
67 \bibliographystyle{alpha}