@book{Padawitz2000,
  author    = {Peter Padawitz},
  title     = {{Einf{\"u}hrung ins funktionale Programmieren --
              Vorlesungsskriptum Sommersemester~1999}},
  year      = 2000,
  publisher = {Universit{\"a}t},
  address   = {Dortmund},
  annote    = {LV Grundlagen und Methoden funktionaler Programmierung
              http://ls5-www.cs.uni-dortmund.de/padawitz.html},
}