1. Chevalley, C. Séminaire 1956–1958, Classification des Groupes de Lie Algebrique, vol. 1.
2. Chevalley, C.-Cartan, H. Séminaire 1955–1956, Géométrie Algébrique.
3. Haefliger, A. Séminaire H. Cartan 1956–1957.
4. Seidenberg, A. A New Decision Method for Elementary Algebra Annals of Math., vol. 60, 1954, pp. 365–374.