Liskovets. Exact Enumeration of Acyclic Deterministic Automata. Elsevier BV, 2006, doi:10.1016/j.dam.2005.06.009.