The best Theory of Automata documents for Engineering