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

McIver, A., Morgan, C., & Plotkin, G. (2001). Partial correctness for probabilistic demonic programs. Elsevier.

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

McIver, A., C. Morgan, και G. Plotkin. Partial Correctness for Probabilistic Demonic Programs. Elsevier, 2001.

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

McIver, A., et al. Partial Correctness for Probabilistic Demonic Programs. Elsevier, 2001.