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), pp. 13–19. doi:10.14419/jacst.v6i1.6713.