Richard Hull Web Services Composition: A Story of Models, Automata, and Logics. 2005 conf/IEEEscc/2005 IEEE SCC http://doi.ieeecomputersociety.org/10.1109/SCC.2005.108 db/conf/IEEEscc/scc2005.html#Hull05