APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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