Michael Domaratzki Kai Salomaa Lower bounds for the transition complexity of NFAs. 1116-1130 2008 74 J. Comput. Syst. Sci. 7 http://dx.doi.org/10.1016/j.jcss.2008.02.007 db/journals/jcss/jcss74.html#DomaratzkiS08