Using Symbolic Computation in the Characterization of Frictional Instabilities Involving Orthotropicmaterials. - Mohamed A. Agwa; António Pinto da Costa (Int. J. Appl. Math. Comput. Sci., 2015)