1. Combinatorial theorems on classifications of subsets of a given set;Erdős;Proc. London Math. Soc.,1952
2. H. Friedman, unpublished manuscripts, Ohio State University.
3. A finite combinatorial principle which is equivalent to the 1-consistency of predicative analysis;Friedman,1982
4. Ramsey Theory;Graham,1980
5. Well-partial-orderings and hierachies;de Jongh;Indag. Math.,1977