Thuan, Truong Ninh, Trinh Thanh Binh, and Vu Van Hieu. “Formalizing and Checking Web Service Discovery Models Using B”. Journal of Computer Science and Cybernetics 28, no. 1 (June 21, 2012): 77–88. Accessed April 28, 2024. https://vjs.ac.vn/index.php/jcc/article/view/1068.