Yefim Dinitz Shay Solomon Optimality of an algorithm solving the Bottleneck Tower of Hanoi problem. 2008 4 ACM Transactions on Algorithms 3 http://doi.acm.org/10.1145/1367064.1367065 db/journals/talg/talg4.html#DinitzS08