Automatic Verification of Refinement. - Trevor Wing Sang Lee; Mark R. Greenstreet; Carl-Johan H. Seger (ICCD, 1994)

Automatic Verification of Asynchronous Circuits. - Trevor Wing Sang Lee; Mark R. Greenstreet; Carl-Johan H. Seger (IEEE Des. Test Comput., 1995)