Sheng Yu Qingyu Zhuang Kai Salomaa Obtaining Tight Upper Bounds for the State Complexities of DFA Operations. 100-104 1992 conf/icci/1992 ICCI db/conf/icci/icci1992.html#YuZS92