1. Computation of algebraic properties of elementary particle reactions using a digital computer
2. LISP 1.5 Programmer's Manual, Computation Center and Research Lab of Electronics;McCarthy,1962
3. Hearn, A. C., REDUCE User's Manual, Institute of Theoretical Physics, Stanford ITP-247 (unpublished), 1967 (revised April 1968).
4. PM, a system for polynomial manipulation