@book{Hin92Fun,
  title = "Einführung in die funktionale Programmierung mit Miranda",
  author = "Hinze, Ralf",
  year = "1992",
  address = "Stuttgart",
  booktitle = "Einführung in die funktionale Programmierung mit Miranda",
  isbn = "3-519-02287-7",
  publisher = "B.G.~Teubner",
}