Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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