1. D. Cenzer and J. B. Remmel, “Complexity theoretic model theory and algebra,” in Handbook of Recursive Mathematics, Vol. 1, Recursive Model Theory, Y. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel (Eds.), Stud. Log. Found. Math., 138, Elsevier, Amsterdam (1998), pp. 381-513.
2. G. E. Collins and R. Loos, “Real zeroes of polynomials,” in Computer Algebra. Symbolic and Algebraic Computations, Comput. Suppl., 4, Springer-Verlag, New York (1982), pp. 83-94.
3. R. Loos, “Computing in algebraic extensions,” in Computer Algebra: Symbolic and Algebraic Computations, Comput. Suppl., 4, Springer-Verlag, New York (1982), 173-187.
4. A. K. Lenstra, H. W. Lenstra, and L. Lovász, “Factoring polynomials with rational coefficients,” Math. Ann., 261, 515-534 (1982).
5. M. O. Rabin, “Computable algebra, general theory and theory of computable fields,” Trans. Am. Math. Soc., 95, 341-360 (1960).