1. Antman, S.S.: Nonlinear Problems of Elasticity. Appl. Math. Sci., vol. 107. Springer, New York (1995)
2. Atiyah, M.F., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley Pub. Co., London (1969)
3. Bächler, T., Gerdt, V.P., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas Decomposition of algebraic and differential systems. J. Symb. Comput. 47, 1233–1266 (2012)
4. Bellman, R.: Introduction to Matrix Analysis, 2nd edn. Society for Industrial and Applied Mathematics, Philadelphia (1997)
5. Blinkov, Y.A., Cid, C.F., Gerdt, V.P., Plesken, W., Robertz, D.: The Maple package Janet: II. Linear partial differential equations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) Proceedings of the 6th Workshop on Computer Algebra in Scientific Computing / CASC 2003, Institut für Informatik, Technische Universität München, Garching, pp. 41–54 (2003)