APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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