Let $z \in \mathbb{C}$ and $W$ be the Lambert W function. In this post I was told if $|t| = |W(-\ln z)| = 1$ and $t^n =1$ for some $n \in \mathbb{N}$ than the iterated exponential $z^{z^{z^{...}}}$ is convergent, and that this is proved by Baker and Rippon. However, I have found that the relevant article is not freely available.
I am asking for a link to an article, possibly by a different author, which proves this or an equivalent statement. Preferably, the article should be freely available, no questions asked.