S. A. Vorontsov An Example of Application of Symbolic Computation in Solid State Physics. 179-181 1989 7 J. Symb. Comput. 2 db/journals/jsc/jsc7.html#Vorontsov89