Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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