Thuan, Truong Ninh, et al. “Formalizing and Checking Web Service Discovery Models Using B”. <i>Journal of Computer Science and Cybernetics</i>, vol. 28, no. 1, June 2012, pp. 77-88, doi:10.15625/1813-9663/28/1/1068.