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

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

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

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

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

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