Hinchey, M. G., & Jarvis, S. A. (1995). Concurrent systems: Formal development in CSP. McGraw-Hill.
Chicago-Zitierstil (17. Ausg.)Hinchey, Michael G., und Stephen A. Jarvis. Concurrent Systems: Formal Development in CSP. London [u.a.]: McGraw-Hill, 1995.
MLA-Zitierstil (9. Ausg.)Hinchey, Michael G., und Stephen A. Jarvis. Concurrent Systems: Formal Development in CSP. McGraw-Hill, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.