Thuan, T.N., Binh, T.T. and Hieu, V.V. 2012. Formalizing and checking web service discovery models using B. Journal of Computer Science and Cybernetics. 28, 1 (Jun. 2012), 77–88. DOI:https://doi.org/10.15625/1813-9663/28/1/1068.