SCHMIDT-SCHAUSS, Manfred und SABEL, David, 2016. Improvements in a functional core language with call-by-need operational semantics. Revision V3 from August 13, 2016. 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., 2016. Improvements in a functional core language with call-by-need operational semantics, Revision V3 from August 13, 2016. 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-412398

Schmidt-Schauß, M., & Sabel, D. (ca. 2016). 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 V3 from August 13, 2016). 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-412398

Schmidt-Schauß M, Sabel D (2016) Improvements in a functional core language with call-by-need operational semantics, Revision V3 from August 13, 2016. 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 V3 from August 13, 2016 , Frankfurt am Main 2016.