Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.