Groups generated by bounded automaton are amenable:


http://dx.doi.org/10.1215/00127094-2010-046