APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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