Angel Díaz Erich Kaltofen FOXBOX: A System for Manipulating Symbolic Objects in Black Box Representation. 30-37 1998 ISSAC http://doi.acm.org/10.1145/281508.281538 db/conf/issac/issac98.html#DiazK98