@book{Fassbender1989,
  author    = {Faßbender, Heinz},
  title     = {Implementierung der Call-by-Need Auswertungsstrategie f{\"u}r Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabeb{\"a}ndern},
  address   = {Aachen},
  year      = {1989},
  language  = {de}
}
@book{FassbenderVogler1990,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A call-by-need implementation of syntax directed functional programming},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {44 S. : graph. Darst.},
  year      = {1990},
  language  = {en}
}
@book{FassbenderGladtzVogler1991,
  author    = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko},
  title     = {Compiler based implementation of syntax directed functional programming},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {37 S.},
  year      = {1991},
  language  = {en}
}
@article{FassbenderVogler1991,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract},
  series = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  journal   = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {95 -- 96},
  year      = {1991},
  language  = {en}
}
@book{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A universal unification algorithm based on unification driven leftmost outermost narrowing},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {47 S. : graph. Darst.},
  year      = {1992},
  language  = {en}
}
@article{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {An implementation of syntax directed functional programming on nested-stack machines},
  series = {Formal Aspects of Computing. 4 (1992), H. 4},
  journal   = {Formal Aspects of Computing. 4 (1992), H. 4},
  isbn      = {0934-5043},
  pages     = {341 -- 375},
  year      = {1992},
  language  = {en}
}
@article{FassbenderWedel1992,
  author    = {Faßbender, Heinz and Wedel, Andrea},
  title     = {E-Unifikation mit macro tree transducer},
  series = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  journal   = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  publisher = {Wilhelm-Schickard-Inst. f{\"u}r Informatik, Univ.},
  address   = {T{\"u}bingen},
  isbn      = {0946-3852},
  pages     = {5 S.},
  year      = {1992},
  language  = {de}
}
@article{Fassbender1993,
  author    = {Faßbender, Heinz},
  title     = {Implementation of a universal unification algorithm for macro tree transducers},
  series = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)},
  journal   = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-57163-9},
  pages     = {222 -- 233},
  year      = {1993},
  language  = {en}
}
@article{FassbenderVoglerWedel1993,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {An abstract machine for the E-Unification with macro tree transducer},
  series = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  journal   = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  year      = {1993},
  language  = {en}
}
@book{FassbenderVoglerWedel1994,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {62 S.},
  year      = {1994},
  language  = {en}
}