Cytowanie według stylu APA (wyd. 7)

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

Cytowanie według stylu Chicago (wyd. 17)

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

Cytowanie według stylu MLA (wyd. 9)

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