Charles M. Fiduccia An Efficient Formula for Linear Recurrences. 106-112 1985 14 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp14.html#Fiduccia85