C. Saranya Jothi, R. S, A. Kumar K, and A. Suresh, “An approach for verifying correctness of web service compositions”, IJET, vol. 7, no. 1.7, pp. 5–10, Feb. 2018, doi: 10.14419/ijet.v7i1.7.9378.