@book{FassbenderVogler2008,
  author    = {Heinz Faßbender and Heiko Vogler},
  title     = {A call-by-need implementation of syntax directed functional programming},
  year      = {2008},
}