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