Max E. Engeli Achievements and problems in formula manipulation. 24-32 1968 IFIP Congress (1) db/conf/ifip/ifip1968-1.html#Engeli68