1. Space-Time Approach to Quantum Electrodynamics
2. 1st Colloquium on Advanced Computing Methods in Theoretical Physics;Dufner,1970
3. The impact of computers on physics;Veltman,1972
4. Proc. of the 2nd Symp. on Symbolic and Algebraic Manipulations,1971
5. REDUCE 2;Hearn;User's Manual, Stanford Artificial Intelligence Project Memo No. AIM-133,1970