Michael Goldsmith A. Cox Geoff Barrett An Algebraic Transformation System for Occam Programs. 481 1987 conf/stacs/1987 STACS db/conf/stacs/stacs87.html#GoldsmithCB87 http://dx.doi.org/10.1007/BFb0039636