APA način citiranja (7. izdanje)

Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).

Čikaški stil citiranja (17. izdanje)

Moffat, N., M. Goldsmith, i B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.

MLA način citiranja (9. izdanje)

Moffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.