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.
एमएलए (9वां संस्करण) प्रशस्ति पत्रAntonino, P., et al. The Automatic Detection of Token Structures and Invariants Using SAT Checking. Springer, Berlin, Heidelberg, 2017.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.