Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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