Thuan, Truong Ninh, Trinh Thanh Binh, and Vu Van Hieu. “Formalizing and Checking Web Service Discovery Models Using B”. <i>Journal of Computer Science and Cybernetics</i> 28, no. 1 (June 21, 2012): 77–88. Accessed November 4, 2025. https://jcc.vast.vn/jcc/article/view/1068.