Al-Refai, H. and Batiha, K. 2017. Enhancing formal specification and verification of e-commerce protocol. Journal of Advanced Computer Science & Technology (JACST). 6, 1 (Feb. 2017), 13–19. DOI:https://doi.org/10.14419/jacst.v6i1.6713.