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

Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2017). The automatic detection of token structures and invariants using SAT checking. Springer, Berlin, Heidelberg.

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

Antonino, P., T. Gibson-Robinson, και A. Roscoe. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.

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

Antonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.