Governatori, G., Milosevic, Z., Sadiq, S. (2006). Compliance checking between business processes and business contracts, in: 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06). Presented at the 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06), IEEE, Hong Kong, China, pp. 221–232. https://doi.org/10.1109/EDOC.2006.22