Jeffrey Outlaw Shallit

• A second course in formal languages and automata theory