SCHMIDT-SCHAUSS, Manfred und SABEL, David, 2015. Improvements in a functional core language with call-by-need operational semantics. Revision V2 from November 30, 2015. Frankfurt am Main: Johann Wolfgang Goethe-Universitat, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology.

Schmidt-Schauß, M., Sabel, D., 2015. Improvements in a functional core language with call-by-need operational semantics, Revision V2 from November 30, 2015. ed, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Universitat, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30:3-412383

Schmidt-Schauß, M., & Sabel, D. (ca. 2015). Improvements in a functional core language with call-by-need operational semantics [Cd]. In Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (Revision V2 from November 30, 2015). Johann Wolfgang Goethe-Universitat, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30:3-412383

Schmidt-Schauß M, Sabel D (2015) Improvements in a functional core language with call-by-need operational semantics, Revision V2 from November 30, 2015. Johann Wolfgang Goethe-Universitat, Fachbereich Informatik und Mathematik, Institut für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main

Schmidt-Schauß, Manfred/ Sabel, David, Improvements in a functional core language with call-by-need operational semantics, Revision V2 from November 30, 2015 , Frankfurt am Main 2015.