Hurd, J., McIver, A., & Morgan, C. (2005). Probabilistic guarded commands mechanized in HOL. Elsevier.
Chicago Style aipamenaHurd, J., A. McIver, and C. Morgan. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
MLA aipamenaHurd, J., et al. Probabilistic Guarded Commands Mechanized in HOL. Elsevier, 2005.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.