American Psychological Association 6th edition

GIANNINI, P., & SHAQIRI, A. (2017). A Provably Correct Compilation of Functional Languages into Scripting Languages. Scientific Annals of Computer Science, 27(1), 19-76. https://doi.org/10.7561/SACS.2017.1.19

ISO-690 (author-date, English)

GIANNINI, Paola und SHAQIRI, Albert, 2017. A Provably Correct Compilation of Functional Languages into Scripting Languages. Scientific Annals of Computer Science. 1 Januar 2017. Vol. 27, no. 1, p. 19-76. DOI 10.7561/SACS.2017.1.19.

Modern Language Association 9th edition

GIANNINI, P., und A. SHAQIRI. „A Provably Correct Compilation of Functional Languages into Scripting Languages.“. Scientific Annals of Computer Science, Bd. 27, Nr. 1, Januar 2017, S. 19-76, https://doi.org/10.7561/SACS.2017.1.19.

Mohr Siebeck - Recht (Deutsch - Österreich)

GIANNINI, Paola/SHAQIRI, Albert: A Provably Correct Compilation of Functional Languages into Scripting Languages., Scientific Annals of Computer Science 2017, 19-76.

Emerald - Harvard

GIANNINI, P. und SHAQIRI, A. (2017), „A Provably Correct Compilation of Functional Languages into Scripting Languages.“, Scientific Annals of Computer Science, Vol. 27 No. 1, S. 19-76.

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