John Fitch A Delivery System for REDUCE. 76-81 1990 ISSAC http://doi.acm.org/10.1145/96877.96897 db/conf/issac/issac90.html#Fitch90