I just finished listening to the audiobook TWTTK. I had read it just after release, but didn't notice this before. It is mentioned that the Lion is named Aslan, which is the name of the Great Lion in C.S. Lewis' Chronicles of Narnia series.