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

Ganai, M. K., & Gupta, A. (2007). SAT-Based Scalable Formal Verification Solutions. Springer US.

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

Ganai, Malay K., και Aarti Gupta. SAT-Based Scalable Formal Verification Solutions. Boston, MA: Springer US, 2007.

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

Ganai, Malay K., και Aarti Gupta. SAT-Based Scalable Formal Verification Solutions. Springer US, 2007.