Mazur, T., & Lowe, G. (2013). CSP−based counter abstraction for systems with node identifiers.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Mazur, T., và G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Mazur, T., và G. Lowe. CSP−based Counter Abstraction for Systems with Node Identifiers. 2013.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.