توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

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

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

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