A. C. Norman
Univ. of Cambridge, Cambridge, MA
A differential-equations approach to functional equivalence
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation