Citazione Stile APA (7a Edizione)
Huang, S., & Cheng, K. (1998). Formal equivalence checking and disign debugging. Kluwer Academic Publishers.
Citazione stile Chigago Style (17a edizione)
Huang, Shi-Zu, e Kwang-Ting(Tim) Cheng. Formal Equivalence Checking and Disign Debugging. Boston: Kluwer Academic Publishers, 1998.
Citatione MLA (9a ed.)
Huang, Shi-Zu, e Kwang-Ting(Tim) Cheng. Formal Equivalence Checking and Disign Debugging. Kluwer Academic Publishers, 1998.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.