Jackson Hides. “A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS”. International Journal of Computer Science & Information System, vol. 9, no. 09, Sept. 2024, pp. 8-14, https://scientiamreearch.org/index.php/ijcsis/article/view/128.