John Backus,
Can Programming Be Liberated from the von Neumann Style?
A Functional Style and Its Algebra of Programs,
Communications of the ACM 21(8), August 1978.
[Euclid00]
Euclid,
The Elements,
ca. 300 B.C. (English edition translated with introduction and
commentary by Sir Thomas L. Heath, vols. 1-3, Dover Publications, 1956.)
[Gauss01]
Carl Friedrich Gauss,
Disquisitiones Arithmeticae,
1801.
(English edition translated by Arthur A. Clarke, Springer-Verlag, 1986.)
[Heath21]
Sir Thomas L. Heath,
A History of Greek Mathematics,
Volumes 1 and 2, 1921.
Dover Publications edition, 1981.
[KaMS81a]
Deepak Kapur, David R. Musser, and Alexander A. Stepanov,
Operators and Algebraic Structures,
Proc. of the Conf. on Functional Programming Languages and Computer
Architecture, New Hampshire, Oct. 1981.
Also Tech. Report 81CRD114,
GE Corporate Research and Development, August 1981.
[KaMS81b]
Deepak Kapur, David R. Musser, and Alexander A. Stepanov,
Tecton: A Language for Manipulating Generic Objects,
Tech. Report 9681, GE Corporate Research and Development, 1981.
[Knuth97]
Donald E. Knuth,
The Art of Computer Programming,
Vol. 1, Fundamental Algorithms,
Third Ed., Addison Wesley, 1997.
[Knuth98a]
Donald E. Knuth,
The Art of Computer Programming,
Vol. 2, Seminumerical Algorithms,
Third Ed., Addison Wesley, 1998.
[Knuth73]
Donald E. Knuth,
The Art of Computer Programming,
Vol. 3, Sorting and Searching,
Addison Wesley, 1973.
[Shen95]
Alexander Shen,
Algorithms and Programming: Problems and Solutions,
1995. (English edition, Birkhäuser, Boston, 1997.)
