Language for the On-Line Investigation and Transformation of Abstractions. Extension of Culler-Fried system for symbolic math. "An On- line Symbol Manipulation System", F.W. Blackwell, Proc ACM 22nd Natl Conf (1967). Sammet 1969, p.464.