Implementing Data−Independence: Symbolic Operational Semantics for CSP_M - Goldsmith, M; Whittaker, P (Proceedings of second workshop on Automated Verification of Critical Systems (AVoCS'02), 2002)