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