Business process management: a rigorous approach - Ould, Martyn A. (British Computer Society, 2005)