(1)Thuan, T. N.; Binh, T. T.; Hieu, V. V. Formalizing and Checking Web Service Discovery Models Using B. <i>J. Comput. Sci. Cybern.</i> <b>2012</b>, <i>28</i>, 77-88.