Thuan, T. N.; Binh, T. T.; Hieu, V. V. Formalizing and Checking Web Service Discovery Models Using B. JCC 2012, 28, 77-88.