Moffat, N., Goldsmith, M., & Roscoe, B. (2007). Towards Symmetry Aware Refinement Checking (Extended Abstract).
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումMoffat, N., M. Goldsmith, and B. Roscoe. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
MLA (9րդ խմբ.) ՄեջբերումMoffat, N., et al. Towards Symmetry Aware Refinement Checking (Extended Abstract). 2007.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.