Saranya Jothi, C., Ravikumar S, Antony Kumar K, and A. Suresh. 2018. “An Approach for Verifying Correctness of Web Service Compositions”. International Journal of Engineering & Technology 7 (1.7): 5-10. https://doi.org/10.14419/ijet.v7i1.7.9378.