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

Peled, D. A., Pratt, V. R., & Holzmann, G. J. (2017). Partial Order Methods in Verification.

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

Peled, Doron A., Vaughan R. Pratt, και Gerard J. Holzmann. Partial Order Methods in Verification. 2017.

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

Peled, Doron A., et al. Partial Order Methods in Verification. 2017.