Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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