@Proceedings{E2,
  key    =       {E02},
  editor =	 {Christoph Benzm{\"u}ller and Regine Endsuleit},
  TITLE =	 {{CALCULEMUS Autumn School 2002: Course Notes (Part I)}},
  INSTITUTION =	 {Fachbereich Informatik, Universit{\"a}t des Saarlandes, Saarbr{\"u}cken,
                  Germany},
  YEAR =	 2002,
  pages =	 {1--168},
  TYPE =	 {SEKI Report (ISSN 1437-4447)},
  NUMBER =	 {SR-02-07},
  ABSTRACT =	 {This are the notes (Part I) of the courses presented at the Calculemus
                  Autumn School 2002 in Pisa.},
  chrisnote =	 {E2},
  note = {(168 pages)},
  url =		 {www.ags.uni-sb.de/~chris/papers/R18.pdf}
}