Recursive categoricity and recursive stability. - John N. Crossley; Alfred B. Manaster; Michael F. Moses (Ann. Pure Appl. Log., 1986)

On Honest Polynomial Reductions, Relativizations, and P=NP. - Rodney G. Downey; Steven Homer; William I. Gasarch; Michael F. Moses (SCT, 1989)

On Choice Sets and Strongly Non-Trivial Self-Embeddings of Recursive Linear Orders. - Rodney G. Downey; Michael F. Moses (Math. Log. Q., 1989)

The Structure of the Honest Polynomial m-Degrees. - Rodney G. Downey; William I. Gasarch; Michael F. Moses (Ann. Pure Appl. Log., 1994)