An Introduction to Formal Languages and Machine Computation by Song Y. Yan · Bookplated