Citação norma APA

Mazur, T., & Lowe, G. (2013). CSP−based counter abstraction for systems with node identifiers.

Citação norma Chicago

Mazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.

Citação norma MLA

Mazur, T., and G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.