Peter Y. H. Wong Jeremy Gibbons Property specifications for workflow modelling. 942-967 2011 76 Sci. Comput. Program. 10 http://dx.doi.org/10.1016/j.scico.2010.09.007 db/journals/scp/scp76.html#WongG11a