1971, "The iterative conception of set," "Journal of Philosophy 68": 215-231.