Groups generated by bounded automaton are amenable:


http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.dmj/1283865313&page=record