Thuan, T. N., Binh, T. T., & Hieu, V. V. (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