APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

Warning: These citations may not always be 100% accurate.