Cita APA

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

Citación estilo Chicago

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

Cita MLA

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

Warning: These citations may not always be 100% accurate.