@article{KutznerSchmidtSchauss1998,
  author    = {Arne Kutzner and Manfred Schmidt-Schauß},
  title     = {A non-deterministic call-by-need lambda calculus},
  journal   = {Proceedings of the third ACM SIGPLAN international conference on Functional programming, Baltimore, Maryland, United States},
  pages     = {324 -- 335},
  year      = {1998},
}