Klimek, Radosław. 2015. “From Workflow Design Patterns to Logical Specifications”. Automatyka/Automatics 17 (1):59. https://doi.org/10.7494/automat.2013.17.1.59.