Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

SCHMIDT-SCHAUSS, Manfred, SABEL, David und MACHKASOVA, Elena, 2013. Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq. Version 22. August 2013. Frankfurt am Main: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, 49,02.

Elsevier - Harvard (with titles)

Schmidt-Schauß, M., Sabel, D., Machkasova, E., 2013. Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq, Version 22. August 2013. ed, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30:3-342348

American Psychological Association 7th edition

Schmidt-Schauß, M., Sabel, D., & Machkasova, E. (ca. 2013). Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq [Cd]. In Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (Version 22. August 2013). Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30:3-342348

Springer - Basic (author-date)

Schmidt-Schauß M, Sabel D, Machkasova E (2013) Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq, Version 22. August 2013. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main

Juristische Zitierweise (Stüber) (Deutsch)

Schmidt-Schauß, Manfred/ Sabel, David/ Machkasova, Elena, Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq, Version 22. August 2013 , Frankfurt am Main 2013.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.