Groups generated by bounded automaton are amenable: http://projecteuclid.org/DPubSverb=Display&version=1.0&service=UI&handle=euclid.dmj/1283865313&page=record