Klimek, R. (2015) “From Workflow Design Patterns to Logical Specifications”, Automatyka/Automatics, 17(1), p. 59. doi: 10.7494/automat.2013.17.1.59.