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

Bailey, B., Anderson, T., & Martin, G. (2005). Taxonomies for the Development and Verification of Digital Systems. Springer Science+Business Media, Inc.

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

Bailey, Brian, Thomas Anderson, και Grant Martin. Taxonomies for the Development and Verification of Digital Systems. Boston, MA: Springer Science+Business Media, Inc, 2005.

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

Bailey, Brian, et al. Taxonomies for the Development and Verification of Digital Systems. Springer Science+Business Media, Inc, 2005.