Young Bae Jun Quotient structures of intuitionistic fuzzy finite state machines. 4977-4986 2007 177 Inf. Sci. 22 http://dx.doi.org/10.1016/j.ins.2007.06.008 db/journals/isci/isci177.html#Jun07