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.