Peter Richter THKLISP as a Base of Formula Manipulation Systems. 156 1985 conf/eurocal/1985-2 European Conference on Computer Algebra (2) db/conf/eurocal/eurocal1985-2.html#Richter85