1. Hardware compilation;Bowen,1994
2. Butterfield A. and J. Woodcock, semantics for a cuncurrent language of refinement, in: Communicating Process Architectures - 2002, Concurrent Systems Engineering (2002), pp. 1–16.
3. Cavalcanti, A. and J. Woodcock, A predicate transformer semantics for a concurrent language of refinement, in: Communicating Process Architectures - 2002, Concurrent Systems Engineering (2002), pp. 157-176.
4. Celoxica Ltd., “Handel-C Language Reference Manual, v3.0,” (2002).
5. “Communicating Sequential Processes”;Hoare,1990