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