Thanks for this! I have been reading through early information/automata theory lately, and hadn’t come across this one. If you have any more recommendations, please share.