1. Dijkstra, E. W., Feijen, W. H. J., and van Gasteren, A. J. M. 1983. Derivation of a Termination Detection Algorithm for Distributed Computations. In Information Processing Letters, Vol. 16, pp. 217–219.
2. Foster, I., and Taylor, S. 1990. Strand, New Concepts in Parallel Programming. Prentice-Hall.
3. Glässer, U., and Lehrenfeld, G. 1990. A distributed implementation of Flat Concurrent Prolog on Transputer architectures. In Proceedings of the UNESCO Conference on Parallel Computing in Engeneering and Engeneering Education, Paris, pp. 181–185.
4. Hoare, C. A. R. 1978. Communicating Sequential Processes. In Communications of the ACM, Vol. 21 (8), pp. 666–677.
5. May, D. 1990. Future Directions in Transputer Technology. In Proceedings of UNESCO Conference on Parallel Computing in Engineering and Engineering Education, Paris, pp. 193–203.