R. Klimek, “From Workflow Design Patterns to Logical Specifications”, A, vol. 17, no. 1, p. 59, Jul. 2015.