APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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