Towards a Formal Framework for Workflow Interoperability - Fernando, S; Simpson, A (WEB SERVICES AND FORMAL METHODS, 2009)