An Animator for CSP Implemented in HOPE. - L. D. Natanson; W. B. Samson (Specification and Verification of Concurrent Systems, 1988)