2015. From Workflow Design Patterns to Logical Specifications. Automatyka/Automatics. 17, 1 (Jul. 2015), 59. DOI:https://doi.org/10.7494/automat.2013.17.1.59.