Kristiansen, Lars, Formal number theory and subrecursive degree structures, 39-44, 1997, Πανεπιστήμιο Κύπρου,