1

SAMMET, J. E., AND BOND, E. R. Introduction to FORMAC. IEEE Trans. EC-13 (Aug. 1964), 386.

2

E. Bond , M. Auslander , S. Grisoff , R. Kenney , M. Myszewski , J. Sammet , R. Tobey , S. Zilles, FORMAC an experimental formula manipulation Compiler, Proceedings of the 1964 19th ACM national conference, p.112.101-112.1019, January 1964  [doi>10.1145/800257.808916]

3

FORMAC. SHARE General Program Library, 7090 R2 IBM 0016, IBM Program Inf. Dept., White Plains, N. Y.

4

BOND, E. R., ET AL. Implementation of FORMAC. IBM Tech. Rept. 00.1260, March, 1965.

5

TOBEY, R. G., BoBRow, R. J., AND ZILLES, S. N. Automatic simplification in FORMAC. Proc. AFIPS 1965 Fall Joint Comput. Conf., Pt. 1, Nov. 1965, p. 37.

6

Eliminating monotonous mathematics with FORMAC. IBM Tech. Rept. 00.1365, Nov., 1965.

7

SCONZO, P., LEScHACK, A. R., AND TOBEY, R. Symbolic computation of f and g series by computer. Astron. J. 70 (May 1965), 269.

8

James W. Hanson , Jane Shearin Caviness , Camilla Joseph, Analytic differentiation by computer, Communications of the ACM, v.5 n.6, p.349-355, June 1962  [doi>10.1145/367766.368195]

9

GRILLIOT, W. J. Derivatives of composite functions. Am. Math. Month. 69, (Nov. 1962), 914.

10

KLERER, M., AND MAY, J. Two-dimensional programming. Proc. AFIPS Fall Joint Comput. Conf., Pt. 1, Nov. 1965, p. 63.

11

William Martin, Syntax and Display of Mathematical Expressions, Massachusetts Institute of Technology, Cambridge, MA, 1965

Paul J. Ossenbruggen , Andrew K. C. Wong , Tung Au, Symbolic and algebraic manipulation for solving differential equations, Proceedings of the 1971 26th annual conference, p.717-735, January 1971

Arthur Norman , John Fitch, CABAL: polynomial and power series algebra on a parallel computer, Proceedings of the second international symposium on Parallel symbolic computation, p.196-203, July 20-22, 1997, Maui, Hawaii, United States

Brian Billard, Polynomial manipulation with APL, Communications of the ACM, v.24 n.7, p.457-465, July 1981

Martin L. Griss, The algebraic solution of large sparse systems of linear equations using REDUCE 2, Proceedings of the 1974 annual conference, p.105-111, January 1974

Jean E. Sammet, Survey of formula manipulation, Communications of the ACM, v.9 n.8, p.555-569, Aug. 1966

J. A. van Hulzen, Breuer's grow factor algorithm in computer algebra, Proceedings of the fourth ACM symposium on Symbolic and algebraic computation, p.100-104, August 05-07, 1981, Snowbird, Utah, United States

Joel Moses, Algebraic simplification: a guide for the perplexed, Communications of the ACM, v.14 n.8, p.527-537, Aug. 1971

Robert G. Tobey, Symbolic mathematical computation—introduction and overview, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.1-16, March 23-25, 1971, Los Angeles, California, United States

Jean E. Sammet, The beginning and development of FORMAC (FORmula MAnipulation Compiler), ACM SIGPLAN Notices, v.28 n.3, p.209-230, March 1993

Joel Moses, Algebraic simplification a guide for the perplexed, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.282-304, March 23-25, 1971, Los Angeles, California, United States

Jean E. Sammet, The beginning and development of FORMAC: FORmula MAnipulation Compiler, History of programming languages---II, ACM Press, New York, NY, 1996

R. G. Tobey: colleagues