Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - Dill (IEEE, 2003)