Bradley, A. R., & Manna, Z. (2007). The calculus of computation: Decision procedures with applications to verification. Springer.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रBradley, Aaron R., और Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Berlin: Springer, 2007.
एमएलए (9वां संस्करण) प्रशस्ति पत्रBradley, Aaron R., और Zohar Manna. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, 2007.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.