Computer aided manipulation of symbols. - Frederick Valentine McBride (1970)