(with Roy, Dev K.)
Finite condensations of recursive linear orders, Studia Logica 47 (1988), no. 4,
311--317 (1989).
A generalization of Tennenbaum's theorem on effectively finite recursive linear orderings,
J. Symbolic Logic 49 (1984), no. 2, 563--569.
Constructive and recursive scattered order types,
Logic Year 1979--80 (Proc. Seminars
and Conf. Math. Logic, Univ. Connecticut, Storrs, Conn., 1979/80), pp. 312--326, Lecture Notes in Math., 859, Springer, Berlin,
1981.