Παραπομπή APA

Huang, S. ., & Cheng, K. 1. (1998). Formal equivalence checking and design debugging. Boston: Kluwer Academic Publishers.

Παραπομπή Chicago Style

Huang, Shi-Yu , and Kwang-Ting 1961- Cheng. Formal Equivalence Checking and Design Debugging. Boston: Kluwer Academic Publishers, 1998.

Παραπομπή MLA

Huang, Shi-Yu , and Kwang-Ting 1961- Cheng. Formal Equivalence Checking and Design Debugging. Boston: Kluwer Academic Publishers, 1998.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.