David L. Dill Complete Trace Structures. 224-243 1989 conf/msiw/1989 Hardware Specification, Verification and Synthesis db/conf/msiw/msiw1989.html#Dill89 http://dx.doi.org/10.1007/0-387-97226-9_31