L. Lóczi, “Two centuries of the equations of commutativity and associativity of exponentiation”, Teach. Math. Comp. Sci., vol. 1, no. 2, pp. 219–233, Dec. 2003, doi: 10.5485/TMCS.2003.0022.