Kleene's second recursion theorem