Bisztray, D. and Heckel, R. (2007) “Rule-Level Verification of Business Process Transformations using CSP”, Electronic Communications of the EASST, 6. doi: 10.14279/tuj.eceasst.6.71.