Thuan, T. N., T. T. Binh, and V. V. Hieu. “Formalizing and Checking Web Service Discovery Models Using B”. Journal of Computer Science and Cybernetics, vol. 28, no. 1, June 2012, pp. 77-88, doi:10.15625/1813-9663/28/1/1068.