Παραπομπή σε μορφή APA (7η εκδ.)

KAISER, A., KROENING, D., & WAHL, T. (2014). A Widening Approach to Multithreaded Program Verification. ACM Transactions on Programming Languages & Systems, 36(4), 14:1. https://doi.org/10.1145/2629608

Παραπομπή σε μορφή Chicago (17η εκδ.)

KAISER, ALEXANDER, DANIEL KROENING, και THOMAS WAHL. "A Widening Approach to Multithreaded Program Verification." ACM Transactions on Programming Languages & Systems 36, no. 4 (2014): 14:1. https://doi.org/10.1145/2629608.

Παραπομπή σε μορφή MLA (9th εκδ.)

KAISER, ALEXANDER, et al. "A Widening Approach to Multithreaded Program Verification." ACM Transactions on Programming Languages & Systems, vol. 36, no. 4, 2014, p. 14:1, https://doi.org/10.1145/2629608.