Formal equivalence checking and design debugging - Huang, Shi-Yu , 1965- (Kluwer Academic Publishers, 1998)