C. Chiao, L. Thom, C. Iochpe, and M. Reichert. "Verifying Existence and Composition of Workflow Activity Patterns in Real Process Models", in Anais do IV Simpósio Brasileiro de Sistemas de Informação, Rio de Janeiro, 2008, pp. 164-175, doi: https://doi.org/10.5753/sbsi.2008.5926.