An introduction to formal languages and automata by Peter Linz · Bookplated