An algebraic simplification program in PL/I
Knut A. Bahr · ACM SIGSAM Bulletin · 1971
One of the objectives of the project reported on was to explore the usability of PL/I for the purpose of writing a symbolic formula manipulation program in a higher level language. The first step along this line is writing an algebraic simplification program.