1. Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative;Friedman;J. Combinatorial Theory,1967
2. The algebra of bracketings and their enumeration;Tamari;Nieuw Arch. Wisk.,1962
3. Introduction to Metamathematics;Kleene,1952
4. Introduction to Metamathematics;Kleene,1952
5. Introduction to Metamathematics;Kleene,1952