Oliveira, Fernando S., "Finite automata games: basic concepts.", , 2014