Rakesh Agarwal, Giorgio Bruno, Marco Torchiano: An operational approach to the design of workflow systems. Inf. Softw. Technol. 42(8): 547-555 (2000)