1. An introduction to inductive definitions;Aczel,1977
2. Degrees of indeterminacy of games;Blass;Fund. Math.,1972
3. The Dialectica categories;de Paiva,1989
4. Infinite games with perfect information;Gale,1953
5. Method for constructing bijections for classical partition identities;Garsia;Proc. Nat. Acad. Sci. U.S.A.,1981