APA-Zitierstil (7. Ausg.)
Huang, S., & Cheng, K. (1998). Formal equivalence checking and disign debugging. Kluwer Academic Publishers.
Chicago-Zitierstil (17. Ausg.)
Huang, Shi-Zu, und Kwang-Ting(Tim) Cheng. Formal Equivalence Checking and Disign Debugging. Boston: Kluwer Academic Publishers, 1998.
MLA-Zitierstil (9. Ausg.)
Huang, Shi-Zu, und Kwang-Ting(Tim) Cheng. Formal Equivalence Checking and Disign Debugging. Kluwer Academic Publishers, 1998.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.