Computer Aided Manipulation of Symbols (1970)

by Fred McBride