H. Al-Refai and K. Batiha, “Enhancing formal specification and verification of e-commerce protocol”, JACST, vol. 6, no. 1, pp. 13–19, Feb. 2017, doi: 10.14419/jacst.v6i1.6713.