\documentclass[a4paper,11pt]{article} % -*- coding: utf-8 -*-
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[expert]{lucidabr}
\usepackage{here}
\usepackage[labelfont={bf}]{caption}
\usepackage{fancyvrb}
\CustomVerbatimEnvironment{EiffelVerbatim}
{Verbatim}
{fontsize=\small,tabsize=4,obeytabs=true,commandchars=\\\{\}}
\makeatletter
\uc@dclc{9001}{default}{\ensuremath{\langle}}
\uc@dclc{9002}{default}{\ensuremath{\rangle}}
\makeatother
\usepackage{ifpdf}
\ifpdf
\usepackage[pdftex]{graphicx}
\usepackage[pdftex]{color}
\usepackage[pdftex]{hyperref}
\hypersetup{
colorlinks=true,
linkcolor=black,
pdftitle={
},
pdfauthor={Peter Brandt and Martin Geisler},
pdfsubject={Object Oriented Software Construction},
pdfkeywords={},
pdfpagemode=none,
pdfstartview=FitH
}
\else
\usepackage[dvips]{graphicx}
\usepackage[dvips]{color}
\fi
\usepackage{url}
\definecolor{darkblue}{rgb}{0.0, 0.0, 0.6}
\definecolor{brown}{rgb}{0.5, 0.2, 0.0}
\definecolor{darkred}{rgb}{0.6, 0.0, 0.0}
\newcommand\keyword{\begingroup\color{darkblue}\bfseries\urlstyle{sf}\Url}
\newcommand\class{\begingroup\color{blue}\itshape\urlstyle{sf}\Url}
\newcommand\feature{\begingroup\color{black}\itshape\urlstyle{sf}\Url}
\newcommand\variable{\begingroup\color{brown}\itshape\urlstyle{sf}\Url}
\newcommand\litteral{\begingroup\color{black}\urlstyle{sf}\Url}
\newcommand\comment[1]{\textcolor{darkred}{\textsf{#1}}}
%\usepackage{geometry}
\begin{document}
\end{document}
\maketitle
\date{
}
\title{
}
\author{
\and
\thanks{
}
}
\tableofcontents
\begin{abstract}
\end{abstract}
\\
\section{
}
\subsection{
}
\subsubsection{
}
\label{
}
\begin{itemize}
\item
\end{itemize}
\begin{enumerate}
\item
\end{enumerate}
\begin{enumerate}
\item
\end{enumerate}
\begin{figure}[H]
\centering
\includegraphics{
}
\caption{
}
\end{figure}
\begin{equation}
\end{equation}
\begin{
}
\begin{verbatim}
\end{verbatim}
\end{
}
\begin{EiffelVerbatim}
\end{EiffelVerbatim}
\par
\empty
\empty
\begin{
}
\end{
}
\emph{
}
\keyword{
}
\class{
}
\feature{
}
\litteral{
}
\comment{
}
\variable{
}
\texttt{
}
\texttt{
}
``
''
$
$
\cite{
}
{\tt
}
{\it
}
\
textbackslash
\bibliographystyle{
}
\bibliography{
}
\par
\begin{tabular}{
}
\end{tabular}
\\
\@@ampersand@@%
\hline
\hline
\begin{figure}
\end{figure}
\caption{
}
\ref{
}%
\empty
\label{\empty
}