One of the features of my book, “Non-commutative combinatorial algebra” is a road map of Olshanskii’s proof of the celebrated Novikov-Adian’s theorem: for every large enough odd $n$ there exists a finitely generated infinite group of exponent \$n\$. The goal was to present the main ideas and the main methods of the proof without getting too deep into calculations. As every good map, it provided the main roads and points of interests. The road map (which is only 12 pages long of which about 5 pages are mostly pictures)  is of course connected to the original Olshanskii’s paper (and his book “Geometry of defining relations of groups”).