Dill, D. L. (1989). Trace theory for automatic hierarchical verification of speed-independent circuits. MIT Press.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रDill, David L. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. Cambridge, Mass.: MIT Press, 1989.
एमएलए (8वां संस्करण) प्रशस्ति पत्रDill, David L. Trace Theory for Automatic Hierarchical Verification of Speed-independent Circuits. MIT Press, 1989.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.