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