1. Aho, A. V., Hopcroft, J. E., & Ullman, J. D. (1974). The design and analysis of computer algorithms. Massachusetts: Addison-Wesley.
2. Anai, H., & Yokoyama, K. (2011). Algorithms of quantifier elimination and their applications: Optimization by symbolic and algebraic methods. Tokyo: University of Tokyo Press (in Japanese).
3. Apostol, T. M. (1974). Mathematical analysis (2nd ed.). Massachusetts: Addison-Wesley.
4. Brown, W. S., & Traub, J. F. (1971). On Euclid’s algorithm and the theory of subresultants. Journal of the ACM, 18(4), 505–514.
5. Buckland, J. R., Huntley, J. M., & Turner, S. R. E. (1995). Unwrapping noisy phase maps by use of a minimum cost matching algorithm. Applied Optics, 34(23), 5100–5108.