Denotational semantics for occam2‚ Part 1 - Roscoe, A; Goldsmith, M; Scott, B (1994)