Arthur Norman John Fitch Interfacing REDUCE to Java. 271-276 1996 conf/disco/1996 DISCO db/conf/disco/disco1996.html#NormanF96 http://dx.doi.org/10.1007/3-540-61697-7_28