توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

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

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

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