Brijesh Dongol Arjan J. Mooij Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. 140-161 2006 conf/mpc/2006 MPC http://dx.doi.org/10.1007/11783596_11 db/conf/mpc/mpc2006.html#DongolM06