LOLITA

Language for the On-Line Investigation and Transformation of Abstractions

An extension of the Culler-Fried System for symbolic mathematics.

"An On-line Symbol Manipulation System", F. W. Blackwell, Proceedings of the ACM 22nd National Conference (1967).