1. and , Intrinsically recursive relations. In: Aspects of effective algebra (ed.), Upside Down A Book Co., Steel's Creek, Australia 1981, pp. 26–41.
2. The quantity of nonautoequivalent constructivizations
3. Some Theorems on Deducibility
4. Notes on a theorem of Ash and Nerode. Presented at the Math. Soc. Summer Research Institute on Recursion Theory, Cornell University 1982.
5. Recursive linear orders with recursive successivities