The mystery of the tower revealed (1988)

by M Wand, D P Friedman
Venue:Lisp and Symbolic Computation