Arne Kutzner. Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice: operationale Semantik, Programmtransformationen und Anwendungen. PhD thesis, Goethe University Frankfurt, Frankfurt am Main, Germany, 2000. [doi]
Abstract is missing.