Title: Computer aided manipulation of symbols
First published: 1970