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