John P. Robinson Martin Cohn Counting Sequences. 17-23 1981 30 IEEE Trans. Computers 1 db/journals/tc/tc30.html#RobinsonC81