Παραπομπή σε μορφή APA (7η εκδ.)

Boulé, M., & Zilic, Z. (2008). Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring. Springer Netherlands.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Boulé, Marc, και Zeljko Zilic. Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring. Dordrecht: Springer Netherlands, 2008.

Παραπομπή σε μορφή MLA (8th εκδ.)

Boulé, Marc, και Zeljko Zilic. Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring. Springer Netherlands, 2008.