The associativity of equivalence and the Towers of Hanoi problem
scientific article; zbMATH DE number 1771789