MLA

Boulé, Marc, and Zeljko Zilic. Generating Hardware Assertion Checkers. Springer Netherlands, 2008.

APA

Boulé, M., & Zilic, Z. (2008). Generating Hardware Assertion Checkers. Springer Netherlands.

Chicago

Boulé, Marc, Marc Boulé, and Zeljko Zilic. Generating Hardware Assertion Checkers. : Springer Netherlands, 2008.