John Fitch Implementing REDUCE on a micro-computer. 128-136 1983 conf/eurocal/1983 EUROCAL db/conf/eurocal/eurocal1983.html#Fitch83