Παραπομπή σε μορφή APA (7η εκδ.)

Fujita, M., Ghosh, I., & Prasad, M. (2008). Verification techniques for system-level design. Morgan Kaufmann Publishers.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Fujita, Masahiro, Indradeep Ghosh, και Mukul Prasad. Verification Techniques for System-level Design. Amsterdam ; Boston: Morgan Kaufmann Publishers, 2008.

Παραπομπή σε μορφή MLA (8th εκδ.)

Fujita, Masahiro, et al. Verification Techniques for System-level Design. Morgan Kaufmann Publishers, 2008.