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

Kundu, S., Lerner, S., & Gupta, R. K. (2011). High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer New York.

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

Kundu, Sudipta, Sorin Lerner, και Rajesh K. Gupta. High-Level Verification: Methods and Tools for Verification of System-Level Designs. New York, NY: Springer New York, 2011.

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

Kundu, Sudipta, et al. High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer New York, 2011.