Jackson Hides, “A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS”, ijcsis, vol. 9, no. 09, pp. 8–14, Sep. 2024.