Kleene (1952), p. 46-59).