1. IN MEMORIAM: GERALD E. SACKS, 1933–2019;The Bulletin of Symbolic Logic;2022-03
2. Priority Arguments in Higher Recursion Theory;Recursion Theory and Computational Complexity;2010
3. E-recursion;Handbook of Computability Theory;1999
4. Effective forcing versus proper forcing;Annals of Pure and Applied Logic;1996-09
5. The least α for which E(α) is inadmissible;Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics;1986-10