Business process management: A rigorous approach - Ould, Martyn A. (United Kingdom, 2007)