Thuan, Truong Ninh, Trinh Thanh Binh, and Vu Van Hieu. 2012. “Formalizing and Checking Web Service Discovery Models Using B”. Journal of Computer Science and Cybernetics 28 (1):77-88. https://doi.org/10.15625/1813-9663/28/1/1068.