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.

警告：这些引文格式不一定是100％准确.