Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).
Chicago-čujuhus (17. p.)Moffat, N., M. Goldsmith, juo B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
MLA-čujuhus (9. p.)Moffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.