1. An operational semantics for parallel lazy evaluation;Baker-Finch,2000
2. Erratic fudgets: a semantic theory for an embedded coordination language;Moran,1999
3. Erratic fudgets: a semantic theory for an embedded coordination language;Moran;Sci. Comput. Program.,2003
4. A nondeterministic call-by-need lambda calculus;Kutzner,1998
5. D. Sabel, Semantics of a call-by-need lambda calculus with McCarthy’s amb for program equivalence, Dissertation, Goethe-Universität Frankfurt, Institut für Informatik, Fachbereich Informatik und Mathematik, 2008.