J. M. Greif
-
Lookup tables, recurrences and complexity
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
A Review of Macsyma
IEEE Transactions on Knowledge and Data Engineering