Symbolic Evaluation with Structural Recursive Symbolic Constants. - Fosca Giannotti; Attilio Matteucci; Dino Pedreschi; Franco Turini (Sci. Comput. Program., 1987)