Tuan D. Pham Computing with words in formal methods. 801-810 2000 15 Int. J. Intell. Syst. 8 db/journals/ijis/ijis15.html#Pham00