Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.