Citação norma APA
Davis, J. (1993). Specification and Proof in real- time CSP. Press Sydicate.
Citação norma Chicago
Davis, Jim. Specification and Proof in Real- Time CSP. Cambridge: Press Sydicate, 1993.
Citação norma MLA
Davis, Jim. Specification and Proof in Real- Time CSP. Press Sydicate, 1993.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.