MLA

Carter, Hamilton B, Shankar Hemmady, and Shankar G Hemmady. Metric- Driven Design Verification. Springer US, 2007.

APA

Carter, H. B, Hemmady, S., & Hemmady, S. G. (2007). Metric- Driven Design Verification. Springer US.

Chicago

Carter, Hamilton B., Shankar Hemmady, and Shankar G Hemmady. Metric Driven Design Verification. : Springer US, 2007.