Flash and action script book for kids

Hi All,

I have a maths wizkid 9 year old in the family who loves to play flash games on MiniClip etc. He has recently expressed interest in writing his own games.

Bearing in mind that he has no programming experience and a quite short attention span can anyone recommend a book to take him from making simple animations to the basics of event triggered programming without boring him?