“From Workflow Design Patterns to Logical Specifications”, A, vol. 17, no. 1, p. 59, Jul. 2015, doi: 10.7494/automat.2013.17.1.59.