1. Hearn A. C. "Reduce 2 Symbolic Mode Primer" Utah Symbolic Computation Group Operating Note No. 5 (October 1973). Hearn A. C. "Reduce 2 Symbolic Mode Primer" Utah Symbolic Computation Group Operating Note No. 5 (October 1973).
2. Hearn A. C. "Reduce 2 User's Manual" Utah Symbolic Computation Group Report No. UCP-19 (March 1973). Hearn A. C. "Reduce 2 User's Manual" Utah Symbolic Computation Group Report No. UCP-19 (March 1973).
3. A system for typesetting mathematics
4. An automatic formatting program for PASCAL
5. Goldstein I "Pretty-printing Converting List to Linear Structure" A. I. Memo No. 279 A. I. Lab M.I.T. (February 1973) NTIS No. AD-773-927. Goldstein I "Pretty-printing Converting List to Linear Structure" A. I. Memo No. 279 A. I. Lab M.I.T. (February 1973) NTIS No. AD-773-927.