Trace theory for automatic hierarchical verification of speed-independent circuits - Dill, David L. (ACM distinguished dissertations., 1989)