Models of computation and formal languages by Ralph Gregory Taylor · Bookplated