Bin Yang Alan Bundy Alan Smaill Lucas Dixon Deductive synthesis of workflows for e-Science. 168-175 2005 conf/ccgrid/2005 CCGRID http://doi.ieeecomputersociety.org/10.1109/CCGRID.2005.1558550 db/conf/ccgrid/ccgrid2005.html#YangBSD05