Стиль цитування APA (7-ме видання)
Davis, J. (1993). Specification and Proof in real- time CSP. Press Sydicate.
Чикаго стиль цитування (17-те видання)
Davis, Jim. Specification and Proof in Real- Time CSP. Cambridge: Press Sydicate, 1993.
Стиль цитування MLA (9-ме видання)
Davis, Jim. Specification and Proof in Real- Time CSP. Press Sydicate, 1993.
Попередження: стилі цитування не завжди правильні на всі 100%.