Cite Them Right 11th edition - Harvard

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

Chicago Manual of Style 17th edition (full note)

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

American Psychological Association 7th 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

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.

ISO-690 (author-date, Deutsch)

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

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