1. Klein, F. (1928) Vorlesungen üiber Nicht-Euklidische Geometrie, Springer, Berlin.
2. Whiteley, W. (1971) Logic and Invariant Theory Ph.D. Thesis
3. M.I.T.. Bokowski, J., and Sturmfels, B. (1989) Computational synthetic geometry Lecture Notes in Mathematics 1355, Springer, Heidelberg.
4. Bokowski, J., and Richter, J., (1990) On the finding of final polynomials European J. Of Combinatorics 11, 21–34.
5. Bokowski, J., Richter, J., and Sturmfels, B. (1990) Nonrealizability proofs in computational geometry Discrete and Computational Geometry 5, 330–350.