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