BANERJEE, A., NAUMANN, D.A. und ROSENBERG, S. (2013) „Local Reasoning for Global Invariants, Part I: Region Logic.“, Journal of the ACM, 60(3), S. 1-56. doi:10.1145/2487241.2485982.
Chicago Manual of Style 17th edition (full note)BANERJEE, ANINDYA, DAVID A. NAUMANN, und STAN ROSENBERG. „Local Reasoning for Global Invariants, Part I: Region Logic.“. Journal of the ACM 60, Nr. 3 (1. Juni 2013): 1-56. https://doi.org/10.1145/2487241.2485982.
American Psychological Association 7th editionBANERJEE, A., NAUMANN, D. A., & ROSENBERG, S. (2013). Local Reasoning for Global Invariants, Part I: Region Logic. Journal of the ACM, 60(3), 1-56. https://doi.org/10.1145/2487241.2485982
Modern Language Association 9th editionBANERJEE, A., D. A. NAUMANN, und S. ROSENBERG. „Local Reasoning for Global Invariants, Part I: Region Logic.“. Journal of the ACM, Bd. 60, Nr. 3, Juni 2013, S. 1-56, https://doi.org/10.1145/2487241.2485982.
ISO-690 (author-date, Deutsch)BANERJEE, ANINDYA, DAVID A. NAUMANN und STAN ROSENBERG, 2013. Local Reasoning for Global Invariants, Part I: Region Logic. Journal of the ACM. 1 Juni 2013. Bd. 60, Nr. 3, S. 1-56. DOI 10.1145/2487241.2485982