APA-Zitierstil (7. Ausg.)
Rattray, C. (1990). Specification and veritification of concurrent systems. Springer Verlag.
Chicago-Zitierstil (17. Ausg.)
Rattray, C. Specification and Veritification of Concurrent Systems. London: Springer Verlag, 1990.
MLA-Zitierstil (9. Ausg.)
Rattray, C. Specification and Veritification of Concurrent Systems. Springer Verlag, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.