Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

Bailey, Brian, Grant Martin, e Thomas Anderson. Taxonomies for the Development and Verification of Digital Systems. New York, NY: Springer US, 2005.

Citatione MLA (8a ed.)

Bailey, Brian, et al. Taxonomies for the Development and Verification of Digital Systems. Springer US, 2005.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.