Documentation for tex-automata
