Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.