1. Aman, J., Karlhede, H.: An Algorithmic Classification of Geometries in General Relativity. SYMSAC 1981, 79–84.
2. Arnon, D. S.: Algorithms for the Geometry of Semi-Algebraic Sets. Ph.D. Thesis, Univ. of Wisconsin, Madison, 1981.
3. Bahr, K. A.: Utilizing the FORMAC Novelties. SIGSAM 9/1, 21–24 (1975).
4. Bahr, K. A.: Basic Algorithms in FORMAC: Design and Verification. SYMSAC 1976, 189–197.
5. Bahr, K. A.: FORMAC 73 User’s Manual. Darmstadt: GMD/IFV.