Dyfyniad APA

Hurd, J., McIver, A., & Morgan, C. (2005). Probabilistic guarded commands mechanized in HOL. Elsevier.

Dyfyniad Arddull Chicago

Hurd, J., A. McIver, and C. Morgan. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.

Dyfyniad MLA

Hurd, J., et al. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.

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