\documentclass[12pt,a4paper]{article}
\usepackage[german]{babel}
\usepackage{makeidx}
\usepackage[dvips]{graphics}
\def\bibthemonth#1{\ifcase#1\or January\or February\or March\or April\or%
 May\or June\or July\or August\or September\or October\or November\or%
 December\fi}


\begin{document}


\noindent\verb+abbrv+ Zitationsstil:
\begin{thebibliography}{1}

\bibitem{texinfo98}
R.~J. Chassel.
\newblock {\em texinfo manual}.
\newblock Free Software Foundation, 3.12 edition, \bibthemonth{2} 1998.

\bibitem{Dou90}
D.~Dougherty.
\newblock {\em sed {\&} awk}.
\newblock O'Reilly {\&} Associates, 1990.

\bibitem{Kop96}
H.~Kopka.
\newblock {\em LaTeX: Einf{\"u}hrung}.
\newblock Addison-Wesley, 1996.
\newblock ISBN: 3-8273-1025-3.

\bibitem{Kop97a}
H.~Kopka.
\newblock {\em LaTeX: Erg{\"anzungen}}.
\newblock Addison-Wesley, 1997.
\newblock ISBN: 3-8273-1229-9.
\end{thebibliography}

\rule{10cm}{2pt}

\noindent\verb+alpha+ Zitationsstil:
\begin{thebibliography}{Kop97b}

\bibitem[Cha98]{texinfo98}
Robert~J. Chassel.
\newblock {\em texinfo manual}.
\newblock Free Software Foundation, 3.12 edition, \bibthemonth{2} 1998.

\bibitem[Dou90]{Dou90}
Dale Dougherty.
\newblock {\em sed {\&} awk}.
\newblock O'Reilly {\&} Associates, 1990.

\bibitem[Kop96]{Kop96}
Helmut Kopka.
\newblock {\em LaTeX: Einf{\"u}hrung}.
\newblock Addison-Wesley, 1996.
\newblock ISBN: 3-8273-1025-3.
\end{thebibliography}

\clearpage

\noindent\verb+plain+ Zitationsstil:
\begin{thebibliography}{1}

\bibitem{texinfo98}
Robert~J. Chassel.
\newblock {\em texinfo manual}.
\newblock Free Software Foundation, 3.12 edition, \bibthemonth{2} 1998.

\bibitem{Dou90}
Dale Dougherty.
\newblock {\em sed {\&} awk}.
\newblock O'Reilly {\&} Associates, 1990.

\bibitem{Kop96}
Helmut Kopka.
\newblock {\em LaTeX: Einf{\"u}hrung}.
\newblock Addison-Wesley, 1996.
\newblock ISBN: 3-8273-1025-3.
\end{thebibliography}

\rule{10cm}{2pt}

\noindent\verb+unsrt+ Zitationsstil:
\begin{thebibliography}{1}

\bibitem{Dou90}
Dale Dougherty.
\newblock {\em sed {\&} awk}.
\newblock O'Reilly {\&} Associates, 1990.

\bibitem{WaSch93}
Larry Wall and Randal~L. Schwartz.
\newblock {\em perl}.
\newblock O'Reilly {\&} Associates, 1993.

\bibitem{make98}
Richard~M. Stallman and Roland McGrath.
\newblock {\em GNU make manual}.
\newblock Free Software Foundation, 3.77 edition, \bibthemonth{5} 1998.
\end{thebibliography}

\clearpage

\begin{theindex}

  \item Abstract interpretation, 7
  \item Analysis
    \subitem interprocedural, 9
    \subitem intraprocedural, 9
  \item Analyzer, 2
    \subitem compiling the, 5
    \subitem generating, 2
      \subsubitem inputs, 20
    \subitem using the, 5
  \item Arrays, 57
  \item AVL-tree, 55

  \indexspace

  \item Backend, 1
  \item BDD, 58
  \item Binary Decision Diagrams, 58
  \item Bitvectors, 57
  \item $\bot$, \see{Bottom element}{8}
  \item Bottom element, 8

  \indexspace

  \item \texttt{Call} node, 11
  \item Call string, 10
  \item CFG, 2, 7
    \subitem mapping, 12
  \item Chain, 8
    \subitem strong ascending, 8
  \item Control flow graph, \see{CFG}{2}

  \indexspace

  \item Data flow analysis, \see{DFA}{7}
    \subitem accessing data, 67--77
    \subitem additional restrictions, 64
    \subitem grammar of, 62--64
    \subitem semantics, 65--67
\end{theindex}

\clearpage

\begin{center}
\includegraphics{xfig.eps}
\end{center}

\clearpage

\begin{center}
\includegraphics{gnuplot.eps}
\end{center}


\end{document}

