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

Bicarregui, J. C. (1998). Proof in VDM:: Case studies. Springer.

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

Bicarregui, J. C. Proof in VDM:: Case Studies. London: Springer, 1998.

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

Bicarregui, J. C. Proof in VDM:: Case Studies. Springer, 1998.