Style de citation APA (7e éd.)
Rattray, C. (1990). Specification and veritification of concurrent systems. Springer Verlag.
Style de citation Chicago (17e éd.)
Rattray, C. Specification and Veritification of Concurrent Systems. London: Springer Verlag, 1990.
Style de citation MLA (9e éd.)
Rattray, C. Specification and Veritification of Concurrent Systems. Springer Verlag, 1990.
Attention : ces citations peuvent ne pas être correctes à 100%.