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

DasGupta, P. (2006). A Roadmap for Formal Property Verification. Springer Netherlands.

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

DasGupta, Pallab. A Roadmap for Formal Property Verification. Dordrecht: Springer Netherlands, 2006.

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

DasGupta, Pallab. A Roadmap for Formal Property Verification. Springer Netherlands, 2006.