Manolis Koubarakis Dimitris Plexousakis A formal framework for business process modelling and design. 299-319 2002 27 Inf. Syst. 5 db/journals/is/is27.html#KoubarakisP02 http://dx.doi.org/10.1016/S0306-4379(01)00055-2