1. N. K. Bose,Applied Multidimensional System Theory, Van Nostrand Reinhold Co., New York, 1982.
2. G. Hermann, ‘The Question of Finitely many Steps in Polynomial Ideal Theory (German)’, Mathematische Annalen, vol. 95, 1926, pp. 736–788.
3. B. Buchberger and R. Loos, Algebraic Simplification’, in Computer Algebra - Symbolic and Algebraic Computation, (B. Buchberger, G. Collins, R. Loos (eds.). Springer, Wien-New York, 1982, pp. 11–43.
4. A. Blass and Yu. Gurevich, ‘Equivalence Relations, Invariants, and Normal Forms’, Technical Report, Dpt. of Math, and Dpt. of Comp, and Commun. Scie., The University of Michigan, Ann Arbor, Michigan.
5. E. Cardoza, R. Lipton, and A. R. Meyer, ‘Exponential Space Complete Problems for Petri Nets and Commutative Semigroups’, Conf. Record of the 8th Annual ACM Symp. on Theory of Computing, 1976, pp. 50–54.