@phdthesis{Kutzner2005,
  author      = {Arne Kutzner},
  title       = {Ein nichtdeterministischer call-by-need Lambda-Kalk{\"u}l mit erratic choice : operationale Semantik, Programmtransformationen und Anwendungen},
  type        = {doctoralthesis},
  school      = {Universit{\"a}tsbibliothek Johann Christian Senckenberg},
  year        = {2005},
}