APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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