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

Bailey, B., Martin, G., & Piziali, A. (2007). ESL design and verification: A prescription for electronic system-level methodology. Morgan Kaufmann.

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

Bailey, Brian, Grant Martin, και Andrew Piziali. ESL Design and Verification: A Prescription for Electronic System-level Methodology. Amsterdam ; Boston: Morgan Kaufmann, 2007.

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

Bailey, Brian, et al. ESL Design and Verification: A Prescription for Electronic System-level Methodology. Morgan Kaufmann, 2007.