A mathematical model and a computer tool for the Tower of Hanoi and Tower of London puzzles. - Andreas M. Hinz; Anton Kostov; Fabian Kneißl; Fatma Sürer; Adrian Danek (Inf. Sci., 2009)