Sergei A. Abramov On d'Alembert Substitution. 20-26 1993 ISSAC http://doi.acm.org/10.1145/164081.164086 db/conf/issac/issac93.html#Abramov93