@misc{Huber2006,
  author    = {Michael Huber},
  title     = {Jonah : ein System zur Validierung von Reduktionsdiagrammen in nichtdeterministischen Lambda-Kalk{\"u}len mit Let-Ausdr{\"u}cken, Letrec-Ausdr{\"u}cken und Konstruktoren},
  institution = {Informatik},
  type      = {diplom},
  pages     = {VI, 176 S.},
  year        = {2006},
}