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

SpringerLink (Online service), Bailey, B., Martin, G., & Anderson, T. (2005). Taxonomies for the Development and Verification of Digital Systems. Springer US.

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

SpringerLink (Online service), Brian Bailey, Grant Martin, και Thomas Anderson. Taxonomies for the Development and Verification of Digital Systems. Boston, MA: Springer US, 2005.

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

SpringerLink (Online service), et al. Taxonomies for the Development and Verification of Digital Systems. Springer US, 2005.