1. Anderson B. D. O., Bose N. K., Jury E. I. (1979) Output feedback stabilization and related problems—solution via decision methods. In: Bose N. K. (eds) Multidimensional systems: Theory and applications. IEEE Press, New York, pp 66–79
2. Basu S., Fettweis A. (1987) New results on stable multidimensional polynomials—part II: Discrete case. IEEE Transactions on Circuits and Systems 34(11): 1264–1274
3. Benedetti R., Risler J. -J. (1990) Real algebraic and semi-algebraic sets. Hermann, Paris
4. Bose N. K., Buchberger B., Guiver J. P. (2003) Multidimensional systems theory and applications. (2nd ed.). Kluwer Academic Publishers, Dordrecht
5. Brown, C. W. (2010). QEPCAD—quantifier elimination by cylindrical algebraic decomposition. http://www.usna.edu/Users/cs/qepcad/ .