Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove
Bernard Shaw, Automata, Robots, and Artificial Intelligence