F.  Giannotti, Matteucci, A., Pedreschi, D., and Turini, F., ?Symbolic Evaluation with Structural Recursive Symbolic Constants?, Sci. Comput. Program., vol. 9, pp. 161-177, 1987.