Modeling business processes
Wil van der Aalst, Wil van der Aalst, and Christian Stahl