@unpublished{Hin92b,
  title = "Einf{\"u}hrung in die funktionale Programmierung - Sprachen, Spezifikationen, Grundlagen, Implementierung",
  author = "Hinze, R.",
  year = "1992",
  note = "Vorlesungsskript SS 92, Universit{\"a}t Bonn, Institut f{\"u}r Informatik III",
}