Formal equivalence checking and disign debugging - Huang, Shi-Zu; Cheng, Kwang-Ting(Tim) (Kluwer Academic Publishers, 1998)