Patnaik, LM and Badrinath, BR (1984) Implementation of CSP-S for description of distributed algorithms. In: Computer Languages, 9 (3-4). pp. 193-202.