توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Francez, N., Hoare, C., Lehmann, D., & de Roever, W. (1979). Semantics of Nondeterminism‚ Concurrency and Communication.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Francez, N., C. Hoare, D. Lehmann, و W. de Roever. Semantics of Nondeterminism‚ Concurrency and Communication. 1979.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Francez, N., et al. Semantics of Nondeterminism‚ Concurrency and Communication. 1979.