Ralph-Johan Back, Michael J. Butler: Fusion and Simultaneous Execution in the Refinement Calculus. Acta Informatica 35(11): 921-949 (1998)