APA-ийн эшлэл(7 дахь хэвлэлт)

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

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

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

MLA -ийн эшлэл (9 дэх хэвлэлт)

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