Todd J. Wagner. Verification of hardware designs thru symbolic manipulation. In William M. van Cleemput, John C. Foster, Donald C. S. Allison, editors, Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977. pages 50-53, IEEE Press / ACM Digital Library, 1977. [doi]