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