Symbolic z-transforms using DSP knowledge bases. - Brian L. Evans; James H. McClellan; Wallace B. McClure (ICASSP, 1990)