There's some minor issues with the blog post though that don't make it entirely correct Genetic Programming as written by Koza's. I'd have to dive into it again but I think it was either with the way mutations are done or how fitness is evaluated.
Anyway, it should be close enough.