Antonino, P., Gibson-Robinson, T., & Roscoe, A. (2017). The automatic detection of token structures and invariants using SAT checking. Springer, Berlin, Heidelberg.
Lua i Stíl Chicago (17ú heag.)Antonino, P., T. Gibson-Robinson, agus A. Roscoe. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.
Lua MLA (9ú heag.)Antonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.