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.

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

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