P. A. Beerel;T. H.-Y. Meng
-;-
A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology
IEEE Transactions on Computers
Checking Combinational Equivalence of Speed-Independent Circuits
Formal Methods in System Design