@book{DBLP:books/daglib/0084813,
  author    = {Michael Gollner},
  title     = {Eine abstrakte Maschine f{\"u}r das logisch-funktionale
               Programmieren},
  publisher = {Infix},
  series    = {DISKI},
  volume    = {129},
  year      = {1996},
  isbn      = {978-3-89601-129-9},
  pages     = {1-208},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}