Victor G. Ganzha Evgenii V. Vorozhtsov J. A. van Hulzen A New Symbolic-Numeric Approach to Stability Analysis of Difference Schemes. 9-15 1992 ISSAC http://doi.acm.org/10.1145/143242.143254 db/conf/issac/issac92.html#GanzhaVH92