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), pp. 77–88. doi: 10.15625/1813-9663/28/1/1068.