Text this: Refinement in integrated specifications of CSP-OZ