An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]