1. P.M. Achten. Interactive Functional Programs-Models, Methods and Implementation. PhD thesis, University of Nijmegen, February 1996.
2. Lect Notes Comput Sci;P.M. Achten,1998
3. Lect Notes Comput Sci;E. Barendsen,1995
4. K.P. Birman and R. van Renesse. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press, Los Alamitos, CA, 1994.
5. Hoare C.A.R. Communicating Sequential Processes. Communications of the ACM, 21:666–671, Aug. 1978.