https://123dok.net/document/qo537omy-a-formalisation-of-the-generalised-towers-of-hanoi.html