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