Generalized finite automata theory with an application to a decision problem of second-order logic (1968)

by James W Thatcher, Jesse B Wright
Venue:Mathematical Systems Theory