“From Workflow Design Patterns to Logical Specifications”. Automatyka/Automatics, vol. 17, no. 1, July 2015, p. 59, https://doi.org/10.7494/automat.2013.17.1.59.