Text this: An Operational Semantics for CSP