@article{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {A verified implementation of narrowing},
  series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  journal   = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-60359-X},
  pages     = {63 -- 80},
  year      = {1995},
  language  = {en}
}
@book{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.},
  publisher = {Shaker},
  address   = {Aachen},
  isbn      = {3-8265-0917-X},
  pages     = {IX, 272 S. : graph. Darst.},
  year      = {1995},
  language  = {de}
}
@article{Alt1995,
  author    = {Alt, Helmut},
  title     = {Netzanschlußm{\"o}glichkeiten und energiewirtschaftliche Bewertung von Windkraftanlagen},
  series = {Elektrizit{\"a}tswirtschaft},
  volume    = {Jg. 94},
  journal   = {Elektrizit{\"a}tswirtschaft},
  number    = {H. 19},
  issn      = {0013-5496},
  pages     = {1224 -- 1234},
  year      = {1995},
  language  = {de}
}
@article{Alt1995,
  author    = {Alt, Helmut},
  title     = {Netzimpedanz- und Oberschwingungsberechnung in Netzen der {\"o}ffentlichen Stromversorgung},
  series = {Elektrizit{\"a}tswirtschaft},
  volume    = {Bd. 94},
  journal   = {Elektrizit{\"a}tswirtschaft},
  number    = {H. 4},
  issn      = {0013-5496},
  pages     = {166 -- 174},
  year      = {1995},
  language  = {de}
}