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.) CitationSpringerLink (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.) CitationSpringerLink (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.