Al-Refai, Hasan, and Khaldoun Batiha. 2017. “Enhancing Formal Specification and Verification of E-Commerce Protocol”. Journal of Advanced Computer Science & Technology (JACST) 6 (1): 13-19. https://doi.org/10.14419/jacst.v6i1.6713.