1. An effective version of Dilworth theorem;Kierstead;Trans. Amer. Math. Soc.,1981
2. Recursive ordered sets;Kierstead;Contemp. Math.,1986
3. A theory of recursive dimension for ordered sets;Kierstead;Order,1984
4. Combinatorics and Partially Ordered Sets: Dimension Theory;Trotter,1992