["IAM, A System for Interactive Algebraic Manipulation", C.

Christensen et al, Proc Second Symp Symb Alg Manip, ACM Mar

1971].