APA način citiranja (7. izdanje)

Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2019). Efficient verification of comcurrent systems using local analysis based approximations and SAT solving. Springer.

Čikaški stil citiranja (17. izdanje)

Antonino, P., T. Gibson-Robinson, i A. Roscoe. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.

MLA način citiranja (9. izdanje)

Antonino, P., et al. Efficient Verification of Comcurrent Systems Using Local Analysis Based Approximations and SAT Solving. Springer, 2019.