APA-Zitierstil (7. Ausg.)

Huang, S., & Cheng, K. (1998). Formal equivalence checking and design debugging. Kluwer.

Chicago-Zitierstil (17. Ausg.)

Huang, Shi-Yu, und Kwang-Ting Cheng. Formal Equivalence Checking and Design Debugging. Boston [u.a.]: Kluwer, 1998.

MLA-Zitierstil (9. Ausg.)

Huang, Shi-Yu, und Kwang-Ting Cheng. Formal Equivalence Checking and Design Debugging. Kluwer, 1998.