First publication of the automata editor