APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

Alglave, J., D. Kroening, V. Nimal, এবং M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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