1. A new class of order types;Baumgartner;Ann. Math. Logic,1976
2. Applications of the proper forcing axiom;Baumgartner,1984
3. The proper forcing axiom and stationary set reflection;Beaudoin;Pacific J. Math.,1991
4. Topics in Set Theory;Bekkali,1992
5. M. Davis, Infinite games of perfect information, in: M. Dresher, L.S. Shapley, A.W. Tucker (Eds.), Advances in Game Theory, Princeton University Press, Princeton, 1964, pp. 85–101.