APA (7th ed.) մեջբերում

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

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

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

MLA (9րդ խմբ.) Մեջբերում

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

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.