Klimek R. From Workflow Design Patterns to Logical Specifications. A [Internet]. 2015Jul.1 [cited 2024May6];17(1):59. Available from: https://journals.agh.edu.pl/automat/article/view/1623