Title: Symbolic and algebraic manipulation
First published: 1971