Mazur, T., & Lowe, G. (2013). CSP−based counter abstraction for systems with node identifiers.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումMazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
MLA (9րդ խմբ.) ՄեջբերումMazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.