Publications by 'Stephen Cole Kleene'