Many of the references listed here were used in preparing the original 1980's version of this book. In most cases, the mathematics that they contain is still worth reading for further background. Many can be found online, in university libraries or used bookstores. A few more current references have been added.
Allenby, R.B.J.T, Rings, Fields and Groups, Edward Arnold, 1983.
Appel, K., and W. Haken, Every Planar Map Is 4-colorable, Bull, Am. Math. Soc. no. 82 (1976): 711–12.
This has historical significance in that it announced the first correct proof of the Four Color Theorem
Austin, A. Keith, An Elementary Approach to NP-Completeness American Math. Monthly 90 (1983): 398-99.
Beardwood, J., J. H. Halton, and J. M. Hammersley, The Shortest Path Through Many Points Proc. Cambridge Phil. Soc. no. 55 (1959): 299–327.
Ben-Ari, M, Principles of Concurrent Programming, Englewood Cliffs, NJ: Prentice-Hall, 1982.
Berge, C, The Theory of Graphs and Its Applications, New York: Wiley, 1962.
Bogart, Kenneth P, Combinatorics Through Guided Discovery, 2005.
Busacker, Robert G., and Thomas L. Saaty, Finite Graphs and Networks, New York: McGraw-Hill, 1965.
Connell, Ian, Modern Algebra, A Constructive Introduction, New York: North-Holland, 1982.
Denning, Peter J., Jack B. Dennis, and Joseph L. Qualitz, Machines, Languages, and Computation, Englewood Cliffs, NJ: Prentice-Hall, 1978.
Denning, Peter J, Multigrids and Hypercubes. American Scientist 75 (1987): 234-238.
Dornhoff, L. L., and F. E. Hohn, Applied Modern Algebra, New York: Macmillan, 1978.
Ford, L. R., Jr., and D. R. Fulkerson, Flows in Networks, Princeton, NJ: Princeton Univesity Press, 1962.
Fraleigh, John B, A First Course in Abstract Algebra, 3rd ed. Reading, MA: Addison-Wesley, 1982.
Gallian, Joseph A, Contemporary Abstract Algebra, D.C. Heath, 1986.
Gallian, Joseph A, Group Theory and the Design of a Letter-Facing Machine, American Math. Monthly 84 (1977): 285-287.
Hamming, R. W, Coding and Information Theory, Englewood Cliffs, NJ: Prentice-Hall, 1980.
Hill, F. J., and G. R. Peterson, Switching Theory and Logical Design, 2nd ed. New York: Wiley, 1974.
Hofstadter, D. R, Godel, Escher, Bach: An Eternal Golden Braid, New York: Basic Books, 1979.
Hohn, F. E, Applied Boolean Algebra, 2nd ed. New York: Macmillan, 1966.
Hopcroft, J. E., and J. D. Ullman, Formal Languages and Their Relation to Automata, Reading, MA: Addison-Wesley, 1969.
Hu, T. C, Combinatorial Algorithms, Reading, MA: Addison-Wesley, 1982.
Knuth, D. E, The Art of Computer Programming. Vol. 1, Fundamental Algorithms, 2nd ed. Reading, MA: Addison-Wesley, 1973.
Knuth, D. E, The Art of Computer Programming. Vol. 2, Seminumerical Algorithms, 2nd ed., Reading, MA: Addison-Wesley, 1981.
Knuth, D. E, The Art of Computer Programming. Vol. 3, Sorting and Searching, Reading, MA: Addison-Wesley, 1973.
Knuth, D. E, The Art of Computer Programming. Vol. 4A, Combinatorial Algorithms, Part 1, Upper Saddle River, New Jersey: Addison-Wesley, 2011.
Kulisch, U. W., and Miranker, W. L, Computer Arithmetic in Theory and Practice, New York: Academic Press, 1981.
Lipson, J. D, Elements of Algebra and Algebraic Computing, Reading, MA: Addison-Wesley, 1981.
Liu, C. L, Elements of Discrete Mathematics, New York: McGraw-Hill, 1977.
O'Donnell, Analysis of Boolean Functions.
A book about Fourier analysis of boolean functions that is being developed online in a blog.
The Omnificent English Dictionary In Limerick Form .
Ore, O, Graphs and Their Uses, New York: Random House, 1963.
Parry, R. T., and H. Pferrer, The Infamous Traveling-Salesman Problem: A Practical Approach Byte 6 (July 1981): 252-90.
Pless, V, Introduction to the Theory of Error-Correcting Codes, New York: Wiley-Interscience, 1982.
Purdom, P. W., and C. A. Brown, The Analysis of Algorithms, Holt, Rinehart, and Winston, 1985.
Quine, W. V, The Ways of Paradox and Other Essays, New York: Random House, 1966.
Ralston, A, The First Course in Computer Science Needs a Mathematics Corequisite, Communications of the ACM 27-10 (1984): 1002-1005.
Solow, Daniel, How to Read and Do Proofs, New York: Wiley, 1982.
Sopowit, K. J., E. M. Reingold, and D. A. Plaisted The Traveling Salesman Problem and Minimum Matching in the Unit Square.SIAM J. Computing, 1983,12, 144–56.
Standish, T. A, Data Structure Techniques, Reading, MA: Addison-Wesley, 1980.
Stoll, Robert R, Sets, Logic and Axiomatic Theories, San Francisco: W. H. Freeman, 1961.
Strang, G, Linear Algebra and Its Applications, 2nd ed. New York: Academic Press, 1980.
Tucker, Alan C, Applied Combinatorics, 2nd ed. New York: John Wiley and Sons, 1984.
Wand, Mitchell, Induction, Recursion, and Programming, New York: North-Holland, 1980.
Warshall, S, A Theorem on Boolean Matrices Journal of the Association of Computing Machinery, 1962, 11-12.
Weisstein, Eric W. Strassen Formulas, MathWorld--A Wolfram Web Resource, http://mathworld.wolfram.com/StrassenFormulas.html.
Wilf, Herbert S, Some Examples of Combinatorial Averaging, American Math. Monthly 92 (1985).
Wilf, Herbert S. generatingfunctionology, A K Peters/CRC Press, 2005
Winograd, S, On the Time Required to Perform Addition, J. Assoc. Comp. Mach. 12 (1965): 277-85.
Wilson, R., Four Colors Suffice - How the Map Problem Was SolvedPrinceton, NJ: Princeton U. Press, 2013.