Ask HN: Favorite Programming Books for kids?

After reading https://drtechniko.com/2012/04/09/how-to-train-your-robot/, I started looking for "programming" books for kids... It was hard to find any that stood out as worth buying, so I thought I'd ask you - what are you favorite programming books for kids?