A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings. - Richard Watnick (J. Symb. Log., 1984)

Finite condensations of recursive linear orders. - Dev Kumar Roy; Richard Watnick (Stud Logica, 1988)

Computable choice functions for computable linear orderings. - Manuel Lerman; Richard Watnick (Math. Log. Q., 2003)