SIGSAM 1-Symbolic mathematical systems (Part I)(Tutorial). - James H. Griesmer; W. S. Brown; M. L. Griss (ACM Annual Conference, 1975)