Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).
Cita Chicago Style (17a ed.)Moffat, N., M. Goldsmith, y B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
Cita MLA (9a ed.)Moffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
Precaución: Estas citas no son 100% exactas.