Klimek, Radosław. “From Workflow Design Patterns to Logical Specifications”. Automatyka/Automatics 17, no. 1 (July 1, 2015): 59. Accessed November 24, 2024. https://journals.agh.edu.pl/automat/article/view/1623.