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

Alglave, J., Kroening, D., Nimal, V., & Tautschnig, M. (2013). Software Verification for Weak Memory via Program Transformation.

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

Alglave, J., D. Kroening, V. Nimal, και M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.

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

Alglave, J., et al. Software Verification for Weak Memory via Program Transformation. 2013.