Citação norma APA
Rattray, C. (1990). Specification and veritification of concurrent systems. Springer Verlag.
Citação norma Chicago
Rattray, C. Specification and Veritification of Concurrent Systems. London: Springer Verlag, 1990.
Citação norma MLA
Rattray, C. Specification and Veritification of Concurrent Systems. Springer Verlag, 1990.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.