@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}, }