Prefix-closed Trace Structures | part of Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits | MIT Press books | IEEE Xplore