Symbolic finite differencing – part I (1990)

by R Paige
Venue:ESOP ’90, LNCS 432