MLA

Anderson, Thomas; Bailey, Brian; Martin, Grant, et al. Taxonomies for the Development and Verification of Digital Systems. Springer US, 2005.

APA

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

Chicago

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