Brijesh Dongol Arjan J. Mooij Streamlining progress-based derivations of concurrent programs. 141-160 2008 20 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-007-0037-4 db/journals/fac/fac20.html#DongolM08