System concepts and formal modelling methods for business processes. - Ermioni Topintzi (2001)