APA način citiranja (7. izdanje)

Alglave, J., Kroening, D., Tautschnig, M., & Sharygina, N. (2013). Partial orders for efficient bounded model checking of concurrent software. Springer.

Čikaški stil citiranja (17. izdanje)

Alglave, J., D. Kroening, M. Tautschnig, i N. Sharygina. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.

MLA način citiranja (9. izdanje)

Alglave, J., et al. Partial Orders for Efficient Bounded Model Checking of Concurrent Software. Springer, 2013.