Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication - Research Database, The University of York Other