Functorial concepts of complexity for finite automata. Lawvere, F.William (2004) Theory and Applications of Categories [electronic only]