Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).
Chicago-viite (17. p.)Moffat, N., M. Goldsmith, ja B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
MLA-viite (9. p.)Moffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.