1. K. R. Apt and E. R. Olderog. Verification of sequential and concurrent programs. Texts and Monographs in Computer Science. Springer-Verlag, 1991.
2. N. Brown and D. Mery. A Proof Environment for Concurrent Programs. In J. C. P Woodcock and P. G. Larsen, editors, FME'93: Industrial-Strength Formal Methods. Springer Verlag, 1993. Lecture Notes in Computer Science 670.
3. N. Brown. A Sound Mapping from Abstract Algorithms to Occam Programs. In Transputer Research And Applications Conference. 23–25 Octobre 1994 (University of Georgia, USA), IOS Press, pages 218–231.
4. N. Brown. Verification and Mapping of Unity programs into distributed architectures. Phd. thesis, Université de de Nancy I, France, October 1994.
5. K.M. Chandy and J. Misra. Parallel Program Design A Foundation. Addison-Wesley Publishing Company, 1988. ISBN 0-201-05866-9.