The matrices $\begin{pmatrix}1&2\\0&1\end{pmatrix}$ and $\begin{pmatrix}1&0\\2&1\end{pmatrix}$ are well-known to (freely) generate a free group. Some years ago, I read a paper that, if memory serves, sort of summarised what was known about generalisations to pairs of the form $\begin{pmatrix}1&\lambda\\0&1\end{pmatrix}$ and $\begin{pmatrix}1&0\\\lambda&1\end{pmatrix}$. (Or perhaps even more general such pairs.) I recall that there were results there describing regions in $\mathbb{C}$ from which $\lambda$ chould be chosen so that such a pair freely generated a free group, and there were plots of these regions (at least one, anyway). Unfortunately, I cannot recall the title or author(s) of the paper, and Googling didn't turn up anything that looked familiar.
Does anyone recall such a paper and be able to provide a reference.
(I did find a 1967 paper by Lyndon and Ullman, but that wasn't it, and I think the one I'm after was later, and probably described further progress on the question, probably with its own new results.)
There's a 1969 paper by Lyndon and Ullman that appears to be it, plots and all.
The article itself is available online, but I'm not sure whether it's free, or I'm seeing it because of my University's subscription. (Most likely the former applies.)