Citação norma APA

Bolton, C., & Davies, J. (2002). Refinement in Object−Z and CSP.

Citação norma Chicago

Bolton, C., and J. Davies. Refinement in Object−Z and CSP. 2002.

Citação norma MLA

Bolton, C., and J. Davies. Refinement in Object−Z and CSP. 2002.

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