Kaiser, Lukasz. Logic and games on Automatic structures: playing with quantifiers and decompositions\ Lukasz Kaiser. - New York Springer 2011 - xii;118p.: paperback ISBN: 9783642228063 Dewey Class. No.: 005.131 / KAI