Marc Voorhoeve. Compositional Modeling and Verification of Workflow Processes. In Wil M. P. van der Aalst, Jörg Desel, Andreas Oberweis, editors, Business Process Management, Models, Techniques, and Empirical Studies. Volume 1806 of Lecture Notes in Computer Science, pages 184-200, Springer, 2000. [doi]