Lee, 1961. Categorizing Automata by W-Machine Programs.. https://doi.org/10.1145/321075.321082