Titles and abstracts: mathematical symbolic manipulation on the computer. - Wang, Paul S. (SIGSAM Bull., 1980)