Finite automata by Mark V. Lawson · Bookplated