References and Information Sources
[Hoare 85]
Hoare, C.A.R.
Communicating Sequential Processes
. Englewood Cliffs, NJ: Prentice Hall International, 1985.