Readings
Author Bibliography

orcmid>
readings>

authors>
2008-08-28 -17:25 -0700

This is a complete set of bibliographic references to the readings cited in Orcmid's Lair and  related sites, such as The Miser Project and NuovoDoc.  The purpose of the listing is to ensure that there are no duplications in the bracketed citation forms wherever the bibliographic citations are used.  These forms are the ones pasted into individual bibliographic entries of documents and of other pages of nfoCentrale.net sites.

I am not entirely comfortable with having the bibliographies be distributed across multiple sites, yet they are appropriately contained in independent "mirrors" of specialized material.  I may never be entirely satisfied with this arrangement.  For now, I am distributing the bibliographies while maintaining this single master index to all of the citations.

-- Dennis E. Hamilton
2002 March 28
updated 2002 June 10

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

[Abel1976]
Abel, Reuben.  Man is the Measure. A Cordial Invitation to the Central Problems of Philosophy.  Free Press (New York: 1976).  ISBN 0-684-83636-X pbk.  Philosophy
   
[Abelson1996]
Abelson, Harold., Sussman, Gerald Jay., Sussman, Julie. Structure and Interpretation of Computer Programs. ed.2. MIT Press (Cambridge, MA: 1996). ISBN 0-07-000484-6 (McGraw-Hill hardcover).  Functional Programming Systems (Miser Project)
   
[Abrahams1997]
Abrahams, Paul W.  A World Without Work.  Chapter 11, pp. 135-147 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).
   
[Acar2002]
Acar, Tolga., Michener, John.  Risks in Features vs. Assurance.  Inside Risks column.   Comm. ACM 45, 8 (August 2002), 112.  Trust and Trustworthy Computing
 
[Adler1985]
Adler, Mortimer J.  Ten Philosophical Mistakes.  Macmillan (New York, London: 1985).  ISBN 0-02-500330-5 pbk.  Philosophy
   
[Agarwal2000]
Agarwal, Ritu., De, Prabuddha., Sinha, Atish P., Tanniru, Mohan.  On the Usability of OO Representations.  Comm. ACM 43, 10 (October 2000), 83-89.
 
[Albahari2001]
Albahari, Ben., Drayton, Peter., Merrill, Brad.  C# Essentials.  Programming the .NET Framework.  O'Reilly (Sebastopol, CA: 2001).  ISBN 0-596-00079-0 pbk.
   
[Anderson2001]
Anderson, Ross.  Security Engineering: A Guide to Building Dependable Distributed Systems.  John Wiley & Sons (New York: 2001).  ISBN 0-471-38922-6 pbk: alk.paper  Trust and Trustworthy Computing
   
[Appleman2004]
Appleman, Daniel.  Always Use Protection: A Teen's Guide to Safe Computing.  Apress (Berkeley, CA: 2004).  ISBN 1-59059-326-X pbk.  Trust and Trustworthy Computing
   
[Ashenhurst1987]
Ashenhurst, Robert L., Graham, Susan L. (eds.).  ACM Turing Award Lectures: The First Twenty Years 1966-1985.  ACM Anthology Series.  ACM Press (New York: 1987).  ISBN 0-201-07794-9.  Computer Science
   
[Astels2002]
Astels, David., Miller, Granville., Novak, Miroslav.  A Practical Guide to eXtreme Programming.  Foreword by Scott W. Ambler.  Prentice Hall PTR (Upper Saddle River, NJ: 2002).  ISBN 0-13-067482-6.  Software Engineering
   
[Austin1975]
Austin, J.L., Urmson, J.O.(ed.)., Sbisŕ, Marina (ed.).  How To Do Things with Words,  ed.2. Harvard University Press (Cambridge, MA: 1962, 1975).  ISBN 0-674-41152-8 pbk.  Philosophy
   
[Baklarz2003]
Baklarz, George., Wong, Bill.  DB2 Universal Database v8.1 for Linux, UNIX, and Windows Database Administration Certification Guide.  ed. 5.  Prentice Hall Professional Technical Reference (Upper Saddle River, NJ: 2003).  ISBN 0-13-046361-2 pbk + CD-ROM.  Information Processing
   
[Barendregt1981]
Barendregt, Hendrik Pieter. The Lambda Calculus: Its Syntax and Semantics. North-Holland (Amsterdam, 1981). ISBN 0-444-85490-8.  Computation Theory (Miser Project)
   
[Barker2000]
Barker, Jacquie.  Beginning Java Objects.  Wrox Press (Birmingham, UK: 2000).  ISBN 1-861004-17-6 pbk. Programming Systems and Languages
   
[Barwise1977]
Barwise, Jon (ed.).  Handbook of Mathematical Logic.  Elsevier Science BV (Amsterdam: 1977).  ISBN 0-444-86388-5 pbk.  Logic
   
[Basili1995]
Basili, Victor.  Foreword to Humphrey, Watts S.  A Discipline for Software Engineering.  SEI Series in Software Engineering.  Addison-Wesley (Reading, MA: 1995).  ISBN 0-201-54610-8.  See [Humphrey1995].  Software Engineering.
   
[Bates2003]
Sierra, Kathy., Bates, Bert.  Head First Java™.  O'Reilly (Sebastapol, CA: 2003).  ISBN 0-596-00465-6 pbk.  See [Sierra2003]
   
[Beck2000]
Beck, Anatole., Bleicher, Michael N., Crowe, Donald Warren.  Excursion into Mathematics: The Millennium Edition.  With a foreword by Martin Gardner.  A. K. Peters, Ltd. (Natick, MA: 2000).  ISBN 1-56881-115-2 pbk: alk. paper.  Mathematics
   
[BeckK2000]
Beck, Kent.  Extreme Programming Explained: Embrace Change.  Addison-Wesley (New York: 2000).  ISBN 0-201-61641-6 (alkalyne paper).  Software Engineering
   
[Bell1937]
Bell, Eric Temple. Men of Mathematics.  Simon & Schuster (New York: 1937).  Touchstone edition ISBN 0-671-62818-6 pbk.  Mathematics
   
[Bell1997]
Bell, Gordon., Gray, James N.  The Revolution Yet to Happen.  Chapter 1, pp. 5-32 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).
   
[Berlinski1995]
Berlinski, David.  A Tour of the Calculus.  Random House Pantheon Books (New York: 1995).  Random House Vintage edition ISBN 0-679-74788-5.  Mathematics
   
[Berlinski2000]
Berlinski, David.  The Advent of the Algorithm: The Idea That Rules the World.  Harcourt (New York: 2000).  ISBN 0-15-100338-6.  Philosophy
   
[Bernays1968]
Bernays, Paul.  Axiomatic Set Theory.  With a historical introduction by Abraham A. Fraenkel. 2nd edition.  Studies in Logic and The Foundations of Mathematics.  North-Holland (Amsterdam: 1958, 1968).  Unabridged and unaltered republication by Dover Publications (New York: 1991).  ISBN 0-486-66637-9 pbk.  Logic
   
[Biagi2003]
Biagi, Enzo.  Lettera d'amore a una ragazza di una volta.  Italian (Love Letter to a [young] woman of another time).  Rizzoli (Milano: 2003).  ISBN 88-17-99506-1.  Being and Empowerment
   
[Biermann1997]
Biermann, Alan W.  Great Ideas in Computer Science: A Gentle Introduction.  ed.2.  MIT Press (Cambridge, MA: 1990, 1997).  ISBN 0-262-52223-3 pbk. alk. paper.  Computer Science
   
[Biermann2002]
Biermann, Alan W., Ramm, Dietolf.  Great Ideas in Computer Science with Java.  MIT Press (Cambridge, MA: 2002).  ISBN 0-262-02497-7 pbk. alk. paper.  Computer Science
    
[Bird1997]
Bird, Richard., de Moor, Oege.  Algebra of Programming.  Prentice-Hall (Harlow, England: 1997).  ISBN 0-13-507245-X.
   
[Birrell1985]
Birrell, N.D., Ould, M.A.  A Practical Handbook for Software Development.  Cambridge University Press (Cambridge: 1985).  ISBN 0-521-25462-0.  Software Engineering
   
[Bleicher2000]
Beck, Anatole., Bleicher, Michael N., Crowe, Donald Warren.  Excursion into Mathematics: The Millennium Edition.  With a foreword by Martin Gardner.  A. K. Peters, Ltd. (Natick, MA: 2000).  ISBN 1-56881-115-2 pbk: alk. paper.  See [Beck2000].
   
[Blaze1996]
Schneier, Bruce.  Applied Cryptography: Protocols, Algorithms, and Source Code in C. ed.2.  With a Foreword by Whitfield Diffie and Afterword by Matt Blaze.  Wiley (New York: 1966).  ISBN 0-471-11709-9 pbk.  See [Schneier1996]
      
[Bloom1991]
Plato.  The Republic of Plato.  Translated with notes and interpretive essay by Allan Bloom.  Basic Books (1968, 1991).  ISBN 0-465-06934-7 pbk.  See [Plato-400b]
   
[Boehm1988]
Boehm, Barry W.  Foreword to Gilb, Tom., Finzi, Susannah (ed.).  Principles of Software Engineering Management.  Addison-Wesley (Wokingham, England: 1988).  ISBN 0-201-19246-2 pbk.  See [Gilb1988].  Software Engineering
   
[Boehm1996]
Boehm, Barry.  Foreword to Shaw, Mary., Garlan, David. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall (Upper Saddle River, NJ: 1996). ISBN 0-13-182957-2.  See [Shaw1996]  Systems Architecture
   
[Boole1854]
Boole, George.  An Investigation of the Laws of Thought on which Are Founded the Mathematical Theories of Logic and Probabilities.  Macmillan (Toronto, London: 1854).  Dover edition (New York: 1958) with all corrections made in the text.  ISBN 0-486-60028-9.  Logic
   
[Boolos1993b]
Boolos, George.  The Logic of Provability.  Cambridge University Press (Cambridge: 1993).  ISBN 0-521-48325-5 pbk.  Logic
   
[Boolos1998]
Boolos, George.  Burgess, John P., Jeffrey, Richard (ed.).  Logic, Logic, and Logic.  Harvard University Press (Cambridge, MA: 1998).  With Introductions and Afterword by John P. Burgess.  ISBN 0-674-53767-X pbk.  Logic
   
[Boolos2002]
Boolos, George S., Burgess, John P., Jeffrey, Richard.  Computability and Logic. ed.4.  Cambridge University Press (Cambridge: 2002).  ISBN 0-521-00758-5 pbk.  Logic
    
[Borg2001]
Borg, Anita.  Universal Literacy--A Challenge for Computing in the 21st Century.  Comm. ACM 44, 3 (March 2001), 139-141.
   
[Bracha2000]
Joy, Bill (ed.)., Steele, Guy L.,Jr., Gosling, James., Bracha, Gilad.  Java Language Specification.  2.ed.   Addison-Wesley (Boston: 2000).  ISBN 0-201-31008-2 pbk.  See [Joy2000]
   
[Bray2000]
Bray, Tim., Paoli, Jean., Sperberg-McQueen, C.M., Maler, Eve (eds.).  Extensible Markup Language (XML) 1.0 (Second Edition).  W3C Recommendation.  2000 October 6.  See [XML2000]
   
[Brogden1999]
Brogden, Bill.  Java 2 Exam Cram.  Coriolis (Scottsdale, AZ: 1999).  ISBN 1-57610-291-2 pbk.
   
[Brooks1995]
Brooks, Frederick P., Jr.  The Mythical Man-Month: Essays on Software Engineering.  Anniversary edition.  Addison Wesley Longman (Boston: 1975, 1995).  ISBN 0-201-83595-9 pbk.  Software Engineering
   
[Brookshear2003]
Brookshear, J.Glenn.  Computer Science: An Overview.  ed.7.  Addison-Wesley (Boston: 2003).  ISBN 0-201-78130-1 pbk.  Computer Science
   
[Burge1975]
Burge, William H. Recursive Programming Techniques. Addison-Wesley (Reading, MA: 1975). ISBN 0-201-14450-6.  Functional Programming Systems (Miser Project)
   
[Burgess1998]
Burgess, John P.  Introductions and Afterword in [Boolos1998]
   
[Burgess2002]
Boolos, George S., Burgess, John P., Jeffrey, Richard.  Computability and Logic. ed.4.  Cambridge University Press (Cambridge: 2002).  ISBN 0-521-00758-5 pbk.  See [Boolos2002]
   
[Campione2001]
Campione, Mary., Walrath, Kathy., Huml, Alison.  The Java Tutorial: A Short Course on the Basics. ed.3.  Addison-Wesley (Boston, MA: 2001).  ISBN 0-201-70393-9 alk.paper 580pp plus CD-ROM.  Programming Systems and Languages
   
[Cantor1915]
Cantor, Georg.  Contributions to the Founding of the Theory of Transfinite Numbers.  Translation, Introduction and Notes by Philip E.  B. Jourdain.  Open Court (London: 1915). Unabridged and unaltered republication by Dover Publications (New York: 1955).  ISBN 0-486-60045-9 pbk.  Logic
   
[Chaitin1998]
Chaitin, Gregory J.  The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning.  Springer-Verglag Singapore (Singapore: 1998).  ISBN 981-3083-59-X.  Computation Theory (Miser Project)
 
[Chaitin1999]
Chaitin, Gregory J.  The Unknowable.  Springer-Verlag Singapore (Singapore: 1999).  ISBN 981-4021-72-5 (hardcover).  Computation Theory (Miser Project)
   
[Church1936]
Church, Alonzo.  An Unsolvable Problem of Elementary Number Theory.  American Journal of Mathematics 58 (1936), 345-363.  Reprinted in pp. 88-107 of [Davis1965]  Logic
   
[Church1956]
Church, Alonzo.  Introduction to Mathematical Logic.  Princeton University Press (Princeton, NJ: 1944, 1956).  ISBN 0-691-02906-7 pbk.  With 1958 errata.  Logic
   
[Codd1970]
Codd, E.F.  A Relational Model of Data for Large Shared Data Banks.  Comm. ACM 13, 6 (June 1970), 377-387.  Computer Science
   
[Codd1971]
Codd, E.F.  Normalized Data Base Structure: A Brief Tutorial.  Proc. 1971 ACM SIGFIDET Workshop on Data Description, Access, and Control.  San Diego, California, November 11-12, 1971.  Computer Science
   
[Codd1972a]
Codd, E.F.  Further Normalization of the Data Base Relational Model.  in Rustin, Randall J.(ed.).  Data Base Systems.   Courant Computer Symposia Series, vol. 6.  Prentice-Hall (Englewood Cliffs, NJ: 1972).  Computer Science
   
[Codd1972b]
Codd, E.F.  Relational Completeness of Data Base Sublanguages in Data Base Systems.  pp. 65-98 in Rustin, Randall J.(ed.).  Data Base Systems.   Courant Computer Symposia Series, vol. 6.  Prentice-Hall (Englewood Cliffs, NJ: 1972).  Computer Science
   
[Codd1974]
Codd, E.F.  Interactive Support for Nonprogrammers:  The Relational and Network Approach.  in Proc. ACM SIGMOD Workshop on Data Description, Access and Control, vol. II.  Ann Arbor, Michigan, May, 1974.  Computer Science
   
[Codd1979]
Codd, E.F.  Extending the Data Base Relational Model to Capture More Meaning.  ACM Trans. on Database Systems 4, 4 (December 1979), 397-434.  Computer Science
   
[Codd1981]
Codd, E.F.  Data Models in Database Management.  ACM SIGMOD Record 11, 2 (Feb. 1981).  Computer Science
   
[Codd1982]
Codd, E.F.  The 1981 ACM Turing Award Lecture: Relational Databases -- A Practical Foundation for Productivity.  Comm. ACM 25, 2 (February, 1982).  Computer Science
   
[Colwell2003]
Colwell, Bob.  Ground Bounce.  At Random department.  IEEE Computer 36, 3 (March 2003), 11-13.  Trust and Trustworthy Computing
   
[Constantine2001]
Constantine, Larry L.  Beyond Chaos: The Expert Edge in Managing Software Development.  ACM Press Addison-Wesley (Boston: 2001).  ISBN 0-201-71960-6.  Software Engineering
   
[Copi1978]
Copi, Irving M.  Introduction to Logic,  ed. 5.  Macmillan (New York: 1953, 1961, 1968, 1972, 1978).  ISBN 0-02-324880-7.  Logic
   
[Coronel2002]
Rob, Peter., Coronel, Carlos.  Database Systems: Design, Implementation, and Management, ed.5.  Course Technology (Boston: 2002).  ISBN 0-619-06269-X.  See [Rob2002].
   
[Courant1996]
Courant, Richard., Robbins, Herbert.  What is Mathematics, ed. 2.  Revised by Ian Stewart.  Oxford University Press (New York: 1941, 1996).  ISBN 0-19-510519-2 pbk.  Mathematics  
      
[Crichton1988]
Crichton, Michael.  Travels. Alfred A. Knopf (New York: 1988).  HarperCollins Perennial edition ISBN 0-06-050905-8 pbk.  Being and Empowerment
   
[Crichton1996]
Crichton, Michael.  Airframe.  Ballantine (New York: 1996).  ISBN 0-345-40287-1 pbk.  Software Engineering
   
[Crichton2002]
Crichton, Michael.  Prey.  HarperCollins (New York: 2002).  ISBN 0-06-621412-2.  Computing Milieu
   
[Crowe2000]
Beck, Anatole., Bleicher, Michael N., Crowe, Donald Warren.  Excursion into Mathematics: The Millennium Edition.  With a foreword by Martin Gardner.  A. K. Peters, Ltd. (Natick, MA: 2000).  ISBN 1-56881-115-2 pbk: alk. paper.  See [Beck2000].
 
[Curry1977]
Curry, Haskell B.  Foundations of Mathematical Logic.  Dover Publications (New York: 1963, 1977).  ISBN 0-486-63462-0 pbk.  Logic
     
[Dargan1994]
Denning, Peter J., Dargan, Pamela A.  A Discipline of Software Architecture.  ACM Interactions 1, 1 (January 1994), 55-65.  See [Denning1994]
    
[Darwen2003]
Date, C. J., Darwen, Hugh., Lorentzos, Nikos A.  Temporal Data and the Relational Model: A Detailed Investigation into the Application of Interval and Relational Theory to the Problem of Temporal Database Management.  Morgan Kaufmann (San Francisco: 2003).  ISBN 1-55860-855-9 pbk.  See [Date2003]
   
[Date1992]
Date, C.J., Fagin, Ronald.  Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases.  ACM Trans. Database Systems 17, 3 (September 1992), 456-476.  Information Processing
   
[Date2001]
Date, C.J.  The Database Relational Model: A Retrospective Review and Analysis. Addison-Wesley (Reading, MA: 2001).  ISBN 0-201-61294-1 pbk. Computer Science
   
[Date2003]
Date, C. J., Darwen, Hugh., Lorentzos, Nikos A.  Temporal Data and the Relational Model: A Detailed Investigation into the Application of Interval and Relational Theory to the Problem of Temporal Database Management.  Morgan Kaufmann (San Francisco: 2003).  ISBN 1-55860-855-9 pbk.  Information Processing
   
[Davis1965]
Davis, Martin (ed.). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Raven Press (New York: 1965). ISBN 0-911216-01-4. Logic
 
[Davis1982]
Davis, Martin. Computability and Unsolvability. Dover (New York: 1958, 1973, 1982). ISBN 0-486-61471-9 pbk. Computation Theory (Miser Project)
   
[Davis2000]
Davis, Martin.  Engines of Logic: Mathematicians and the Origin of the Computer.   W. W. Norton (New York: 2000).  ISBN 0-393-32229-7 pbk.  Logic
   
[Davis2003]
Glass, Robert L.  Facts and Fallacies of Software Engineering.  Foreword by Alan B. Davis.  Addison-Wesley (Boston, MA: 2003) ISBN 0-321-11742-5 pbk (recycled paper).  See [Glass2003]
   
[Dawson1986]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.1: Publications 1929-1936.  Oxford University Press (New York: 1986).  ISBN 0-19-514720-0 pbk.  See [Gödel1986]
   
[Dawson1990]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.2: Publications 1938-1974.  Oxford University Press (New York: 1990).  ISBN 0-19-514721-9 pbk.  See [Gödel1990]
   
[Dawson1995]
Gödel, Kurt., Feferman, Solomon (editor-in-chief)., Dawson, John W. Jr., Goldfarb, Warren., Parsons, Charles., Solovay, Robert M. (eds.).  Kurt Gödel: Collected Works, vol.3: Unpublished essays and lectures.  Oxford University Press (New York: 1995).  ISBN 0-19-514722-7 pbk.  See [Gödel1995]
   
[Dawson2000]
Dawson, Christian W.  The Essence of Computing Projects: A Student's Guide.  Pearson Education (Harlow, England: 2000).  ISBN 0-13-021972-X pbk.  Computer Science
   
[De2000]
Agarwal, Ritu., De, Prabuddha., Sinha, Atish P., Tanniru, Mohan.  On the Usability of OO Representations.  Comm. ACM 43, 10 (October 2000), 83-89.  See [Agarwal2000]
   
[Deitel2003]
Deitel, Harvey M., Deitel, Paul J.  Java How to Program.  ed.5.  Prentice Hall (Upper Saddle River, NJ: 2003).  ISBN 0-13-101621-0 pbk + CD-ROM.  Programming Systems and Languages
   
[DeMarco2003]
DeMarco, Tom., Lister, Timothy.  Waltzing with Bears: Managing Risk on Software Projects.  Dorset House (New York: 2003).  ISBN 0-932633-60-9 pbk.  Software Engineering and Development
   
[DeMoor1997]
Bird, Richard., de Moor, Oege.  Algebra of Programming.  Prentice-Hall (Harlow, England: 1997).  ISBN 0-13-507245-X.  See [Bird1997]
   
[Denning1994]
Denning, Peter J., Dargan, Pamela A.  A Discipline of Software Architecture.  ACM Interactions 1, 1 (January 1994), 55-65.  System Architecture and Design
   
[Denning1997]
Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).  ISBN 0-387-98588-3 pbk.  Computer Milieu
  
[Denning1999]
Denning, Peter J. (ed.)  Talking Back to the Machine: Computers and Human Aspiration.  Introductions by James Burke.  Copernicus Springer-Verlag (New York: 1999).  ISBN 0-387-98413-5.  Computer Milieu
   
[Deutsch1997]
Deutsch, David.  The Fabric of Reality: The Science of Parallel Universes--and Its Implications.  Penguin Putnum (New York: 1997).   ISBN 0-14-027541-X pbk.
   
[Devlin2000]
Devlin, Keith J.  The Language of Mathematics: Making the Invisible Visible.  W. H. Freeman (New York: 1998, 2000).  ISBN 0-7167-3967-4 pbk.  Mathematics
   
[Diffie1996]
Schneier, Bruce.  Applied Cryptography: Protocols, Algorithms, and Source Code in C. ed.2.  With a Foreword by Whitfield Diffie and Afterword by Matt Blaze.  Wiley (New York: 1966).  ISBN 0-471-11709-9 pbk.  See [Schneier1996]
   
[Dijkstra1997]
Dijkstra, Edsger W.  The Tide, Not the Waves.  Chapter 4, pp. 59-64 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).
   
[Downs2004]
White, Ron.  How Computers Work, ed.7.  Illustrated by Timothy Edward Downs.  Que (Indianapolis, IN: 2004).  ISBN 0-7897-3048-0 pbk.  See [White2004]
   
[Drayton2001]
Albahari, Ben., Drayton, Peter., Merrill, Brad.  C# Essentials.  Programming the .NET Framework.  O'Reilly (Sebastopol, CA: 2001).  ISBN 0-596-00079-0 pbk.  See [Albahari2001]
 
[Dreyfus1997]
Spinosa, Charles., Flores, Fernando., Dreyfus, Hubert L.  Disclosing New Worlds.  MIT Press (Cambridge, MA: 1997).  ISBN 0-262-69224-4 pbk.  See [Spinosa1997]
 
[Durant1953]
Durant, Will.  The Pleasures of Philosophy: A Survey of Human Life and Destiny.  Simon and Schuster (New York: 1929, 1953).
 
[ECMA262-1999]
ECMA International.  ECMAScript Language Specification, ed.3.  Standard ECMA-262.  ECMA (Geneva: December, 1999).  Available on-line in PDF format.  Programming Systems and Languages
   
[Eco1997]
Eco, Umberto.  Kant e l'ornitorinco.  Italian (Kant and the Platypus): Bompiani (Milano: 1997).  ISBN 88-452-2868-1 pbk.  Philosophy
     
[Einstein1967]
Einstein, Albert., Infeld, Leopold.  The Evolution of Physics: From Early Concepts to Relativity and Quanta.  Simon and Schuster (New York: 1938, 1966).  ISBN 0-671-20156-5 pbk.  A Touchstone Book.  Science
   
[Einstein1983]
Einstein, Albert.  Sidelights on Relativity.  Dover Publications (New York: 1922, 1983).  ISBN 0-486-24511-X.  Science
   
[Enderton2001]
Enderton, Herbert B.  A Mathematical Introduction to Logic.  ed.2.  Harcourt/Academic Press (Burlington, MA: 1972, 2001).  ISBN 0-12-238452-0.
   
[Englebart2003]
Park, Jack (ed.)., Hunting, Sam (tech.ed.).  XML Topic Maps: Creating and Using Topic Maps for the Web.  Foreword by Douglas C. Englebart.  Addison-Wesley (Boston, MA: 2003).  ISBN 0-201-74960-2 pbk.  See [Park2003]
   
[Ershov1972]
Ershov, Andrei P.  Aesthetics and the Human Factor in Programming.  Comm. ACM 15, 7 (July 1972), 501-505.  Computer Science
   
[Fagan1992]
Date, C.J., Fagin, Ronald.  Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases.  ACM Trans. Database Systems 17, 3 (September 1992), 456-476.  See [Date1992]
   
[Feferman1986]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.1: Publications 1929-1936.  Oxford University Press (New York: 1986).  ISBN 0-19-514720-0 pbk.  See [Gödel1986]
   
[Feferman1990]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.2: Publications 1938-1974.  Oxford University Press (New York: 1990).  ISBN 0-19-514721-9 pbk.  See [Gödel1990]
   
[Feferman1995]
Gödel, Kurt., Feferman, Solomon (editor-in-chief)., Dawson, John W. Jr., Goldfarb, Warren., Parsons, Charles., Solovay, Robert M. (eds.).  Kurt Gödel: Collected Works, vol.3: Unpublished essays and lectures.  Oxford University Press (New York: 1995).  ISBN 0-19-514722-7 pbk.  See [Gödel1995]
   
[Felleisen1996]
Friedman, Daniel P., Felleisen, Matthias. The Little Schemer. ed.4. MIT Press (Cambridge, MA: 1974, 1986, 1987, 1989, 1996). ISBN 0-262-56099-2 (pbk: alk. paper).  See [Friedman1996]
   
[Felleisen1998]
Felleisen, Matthias., Friedman, Daniel P.  A Little Java, A Few Patterns.  Foreword by Ralph E. Johnson.  MIT Press (Cambridge, MA: 1998).  ISBN 0-262-56115-8 pbk: alk. paper.  Programming Systems and Languages
   
[Flanagan2002]
Flanagan, David. JavaScript: The Definitive Guide. ed.4. O'Reilly (Sebastabol, CA: 1996, 1997, 1998, 2002). ISBN 0-596-00048-0 pbk.  Programming Systems and Languages
   
[Flores1986]
Winograd, T., Flores, F.  Understanding Computers and Cognition: A New Foundation for Design.  Addison-Wesley (Reading, MA: 1986, 1987).  ISBN 0-201-11297-3.  See [Winograd1986]
   
[Flores1997]
Flores, Fernando.  The Leaders of the Future.  Chapter 14, pp. 176-192 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).
   
[Flores1997b]
Spinosa, Charles., Flores, Fernando., Dreyfus, Hubert L.  Disclosing New Worlds.  MIT Press (Cambridge, MA: 1997).  ISBN 0-262-69224-4 pbk.  See [Spinosa1997]
   
[Fogel1999]
Fogel, Karl.  Open Source Development with CVS.  Coriolis (Scottsdale, AZ: 1999).  ISBN 1-57610-490-7 pbk.  Software Tools & Programming
   
[Fogel2000]
Michalewicz, Zbigniew., Fogel, David B.  How to Solve It: Modern Heuristics.  Corrected Second printing.  Springer-Verlag (Berlin: 2000).  ISBN 3-540-66061-5 alk.paper.   See [Michalewicz2000]
   
[Forster1995]
Forster, T. E.  Set Theory with a Universal Set: Exploring an Untyped Universe.  ed.2.  Oxford University Press (Oxford: 1992, 1995).  ISBN 0-19-851477-8.  Logic
   
[Forster2003]
Forster, Thomas.  Reasoning About Theoretical Entities.  Advances in Logic - vol.3.  World-Scientific Publishing (Singapore: 2003).  ISBN 981-238-567-3.  Logic
   
[Fraenkel1922a]
Fraenkel, Abraham A.  Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre.  Mathematische Annalen 86, 230-237.
   
[Fraenkel1968]
Fraenkel, Abraham A.  Part I.  Historical Introduction.  pp. 1-35 in [Bernays1968].
   
[Frankel2003]
Frankel, David S.  Model Driven Architecture: Applying MDA to Enterprise Computing.  Wiley (Indianapolis: 2003).  ISBN 0-471-31920-1.  System Architecture
   
[Frankston1997]
Frankston, Bob.  Beyond Limits.  Chapter 3, pp. 43-57 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).
   
[Friedman1996]
Friedman, Daniel P., Felleisen, Matthias. The Little Schemer. ed.4. MIT Press (Cambridge, MA: 1974, 1986, 1987, 1989, 1996). ISBN 0-262-56099-2 (pbk: alk. paper).  Functional Programming Systems (Miser Project)
   
[Friedman1998]
Felleisen, Matthias., Friedman, Daniel P.  A Little Java, A Few Patterns.  Foreword by Ralph E. Johnson.  MIT Press (Cambridge, MA: 1998).  ISBN 0-262-56115-8 pbk: alk. paper.  See [Felleisen1998]
   
[Fromm1971]
Introduction to Illich, Ivan.  Celebration of Awareness: A Call for Institutional Revolution.  Marion Boyers Publishing (London: 1971, 1972, 1976, 1998, 2001).  ISBN 0-7145-0838-1 pbk.  See [Illich2001]
   
[Gamma1998]
Gamma, Erich., Helm, Richard., Johnson, Ralph., Vlissides, John.  Design Patterns CD: Elements of Reusable Object-Oriented Software.  Addison-Wesley (Boston: 1998).  ISBN 0-201-30952-1.  Software Engineering
   
[Gardner2000]
Beck, Anatole., Bleicher, Michael N., Crowe, Donald Warren.  Excursion into Mathematics: The Millennium Edition.  With a foreword by Martin Gardner.  A. K. Peters, Ltd. (Natick, MA: 2000).  ISBN 1-56881-115-2 pbk: alk. paper.  See [Beck2000].
   
[Garey1979]
Garey, Michael R., Johnson, David S.  Computers and Intractability: A Guide to the Theory of NP-Completeness.  W. H. Freeman (New York: 1979).  ISBN 0-7167-1045-5 pbk.  Computation Theory (Miser Project)
      
[Garfield1990]
Garfield, Jay L.(ed).  Foundations of Cognitive Science: The Essential Readings.  The Paragon Issues in Philosophy Series.  Paragon House (New York: 1990).  ISBN 1-55778-257-1 pbk.  Cognitive Science
   
[Garlan1996]
Shaw, Mary., Garlan, David. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall (Upper Saddle River, NJ: 1996). ISBN 0-13-182957-2.  See [Shaw1996].
   
[Gilb1988]
Gilb, Tom., Finzi, Susannah (ed.).  Principles of Software Engineering Management.  Addison-Wesley (Wokingham, England: 1988).  ISBN 0-201-19246-2 pbk.  Foreword by Barry Boehm.  Software Engineering
   
[Gilliam2002]
Wyke, R.Allen., Gilliam, Jason D., Ting, Charlton., Michaels, Sean.  Pure JavaScript, ed.2.  Sams (Indianapolis, IN: 2002).  ISBN 0-672-32141-6 pbk + CD-ROM.  See [Wyke2002]
   
[Glass1996]
Oskarsson, Östen., Glass, Robert L. An ISO 9000 Approach to Building Quality Software. Prentice Hall PTR (Upper Saddle River, NJ: 1995). ISBN 0-13-228925-3.  See [Oskarsson1996]
   
[Glass2001]
Glass, Cindy., Griscti, Jane., Isayeva, Margarita., Kallambella, Ajith., Sierra, Kathy.  Mike Meyers' Java 2™ Certification Passport (Exam 310-025).  Osborne/McGraw-Hill (Berkeley, CA: 2001).  ISBN 0-07-219366-2 pbk + CD-ROM.  
   
[Glass2002]
Glass, Robert L.  The Proof of Correctness Wars.  Practical Programmer column.  Comm. ACM 45, 8 (August 2002), 19-21.  Trust and Trustworthy Computing
   
[Glass2003]
Glass, Robert L.  Facts and Fallacies of Software Engineering.  Addison-Wesley (Boston, MA: 2003) ISBN 0-321-11742-5 pbk (recycled paper).  Software Engineering
   
[Glenn2001]
Glenn, John.  Education is the Key to Future Dreams.  Comm. ACM 44, 3 (March 2001), 137-138.
   
[Gödel1940]
Gödel, Kurt.  The consistency of the axiom of choice and the generalized continuum hypothesis with the axioms of set theory.  Annals of Mathematics Studies, vol. 3.  Lecture notes taken by George W. Brown.  Reprinted with additional notes in 1951 and with further notes in 1966.  Princeton University Press (Princeton, NJ: 1940, 1953, 1966).  Reprinted in pp. 33-101 of [Gödel1990].
   
[Gödel1986]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.1: Publications 1929-1936.  Oxford University Press (New York: 1986).  ISBN 0-19-514720-0 pbk.  Logic
   
[Gödel1990]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.2: Publications 1938-1974.  Oxford University Press (New York: 1990).  ISBN 0-19-514721-9 pbk.  Logic
   
[Gödel1995]
Gödel, Kurt., Feferman, Solomon (editor-in-chief)., Dawson, John W. Jr., Goldfarb, Warren., Parsons, Charles., Solovay, Robert M. (eds.).  Kurt Gödel: Collected Works, vol.3: Unpublished essays and lectures.  Oxford University Press (New York: 1995).  ISBN 0-19-514722-7 pbk.  Logic
   
[Goldfarb1995]
Gödel, Kurt., Feferman, Solomon (editor-in-chief)., Dawson, John W. Jr., Goldfarb, Warren., Parsons, Charles., Solovay, Robert M. (eds.).  Kurt Gödel: Collected Works, vol.3: Unpublished essays and lectures.  Oxford University Press (New York: 1995).  ISBN 0-19-514722-7 pbk.  See [Gödel1995]
   
[Gosling2000]
Joy, Bill (ed.)., Steele, Guy L.,Jr., Gosling, James., Bracha, Gilad.  Java Language Specification.  2.ed.   Addison-Wesley (Boston: 2000).  ISBN 0-201-31008-2 pbk.  See [Joy2000]
   
[Graham1987]
Ashenhurst, Robert L., Graham, Susan L. (eds.).  ACM Turing Award Lectures: The First Twenty Years 1966-1985.  ACM Anthology Series.  ACM Press (New York: 1987).  ISBN 0-201-07794-9.  See [Ashenhurst1987]
   
[Graham1989]
Graham, Ronald L., Knuth, Donald E., Patashnik, Oren.  Concrete Mathematics: A Foundation for Computer Science.  Addison-Wesley (Reading, MA: 1989).  ISBN 0-201-14236-8.
 
[Gray1997]
Bell, Gordon., Gray, James N.  The Revolution Yet to Happen.  Chapter 1, pp. 5-32 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).  See [Bell1997].
   
[Griscti2001]
Glass, Cindy., Griscti, Jane., Isayeva, Margarita., Kallambella, Ajith., Sierra, Kathy.  Mike Meyers' Java 2™ Certification Passport (Exam 310-025).  Osborne/McGraw-Hill (Berkeley, CA: 2001).  ISBN 0-07-219366-2 pbk + CD-ROM.  See [Glass2001]
   
[Gulutzan1999]
Gulutzan, Peter., Pelzer, Trudy.  SQL-99 Complete, Really: An Example-Based Reference Manual of the New Standard.  R&D Books Miller Freeman (Lawrence KS: 1999).   ISBN 0-87930-568-1 pbk + CD-ROM.  Information Processing
   
[Hacking1999]
Hacking, Ian.  The Social Construction of What?  Harvard University Press (Cambridge, MA: 1999).  ISBN 0-674-81200-X alk. paper.  Science
    
[Hacking2002]
Hacking, Ian.  Historical Ontology.  Harvard University Press (Cambridge, MA: 2002).  ISBN 0-674-00616-X.  Philosophy
   
[Halloway2002]
Halloway, Stuart Dabbs.  Component Development for the Java Platform.  Addison-Wesley (Boston: 2002).  ISBN 0-201-75306-5 pbk.  Foreword by Don Box.   Programming Systems and Languages
   
[Halmos1974]
Halmos, Paul Richard.  Naive Set Theory.  Springer-Verlag (New York: 1960, 1974).  ISBN 0-387-90092-6.  Undergraduate texts in mathematics.  Logic
    
[Hamming1969]
Hamming, R.W.  One Man's View of Computer Science.  1968 ACM Turing Award Lecture.  J. ACM 16, 1 (Jan. 1969), 3-12.  Computer Science
   
[Hamming1997]
Hamming, Richard W.  How to Think About Trends.  Chapter 5, pp. 65-74 in Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).
   
[Harbison95]
Harbison, Samuel P., Steele, Guy L.,Jr.  C, A Reference Manual.  ed.4.  Prentice-Hall (Englewood Cliffs, NJ: 1995).  ISBN 0-13-326224-3 pbk.
   
[Hart1996]
Hart, Wilbur Dyre (ed.).  The Philosophy of Mathematics.  Oxford University Press (Oxford: 1996).  ISBN 0-19-875120-6 pbk.  Mathematics
   
[Helm1998]
Gamma, Erich., Helm, Richard., Johnson, Ralph., Vlissides, John.  Design Patterns CD: Elements of Reusable Object-Oriented Software.  Addison-Wesley (Boston: 1998).  ISBN 0-201-30952-1.  See [Gamma1998]
   
[Henderson1996]
Henderson, Harry.  Modern Mathematicians.  Facts on File (New York: 1996).  ISBN 0-8160-3235-1.  Mathematics
   
[Holmes1998]
Holmes, M.Randall.  Elementary Set Theory with a Universal Set.  Université catholique de Louvain Département de Philosophie, Cahiers du Centre de Logique v.10.  Academia Bruylant (Louvain-la-Neuve, Belgium: 1998).  ISBN 2-87209-488-1 pbk.  Logic
   
[Hopcroft2001]
Hopcroft, John E., Motwani, Rajeev., Ullman, John D.  Introduction to Automata Theory, Languages, and Computation.  ed.2.  Addison-Wesley (Boston, MA: 2001).  ISBN 0-201-44124-1.  Computation Theory (Miser Project)
   
[Horton2002]
Horton, Ivor.  Beginning Java 2.  SDK 1.4 edition.  Wrox (Birmingham, UK: 2002).  ISBN 1-861005-69-5 pbk.  Programming Systems and Languages
     
[Huml2001]
Campione, Mary., Walrath, Kathy., Huml, Alison.  The Java Tutorial: A Short Course on the Basics. ed.3.  Addison-Wesley (Boston, MA: 2001).  ISBN 0-201-70393-9 alk.paper 580pp plus CD-ROM.  See [Campione2001]
 
[Humphrey1995]
Humphrey, Watts S.  A Discipline for Software Engineering.  SEI Series in Software Engineering.  Addison-Wesley (Reading, MA: 1995).  ISBN 0-201-54610-8.  Foreword by Vic Basili.  Software Engineering
   
[Humphrey1997]
Humphrey, Watts S.  Introduction to the Personal Software Process.  SEI Series in Software Engineering.  Addison-Wesley (Reading, MA: 1997).  ISBN 0-201-65809-7 pbk.  Software Engineering
   
[Hunting2003]
Park, Jack (ed.)., Hunting, Sam (tech.ed.).  XML Topic Maps: Creating and Using Topic Maps for the Web.  Foreword by Douglas C. Englebart.  Addison-Wesley (Boston, MA: 2003).  ISBN 0-201-74960-2 pbk.  See [Park2003]
   
[Illich1970]
Illich, Ivan.  Deschooling Society.  Marian Boyars Publishers (London: 1970).  ISBN 0-7145-0879-9 pbk.  Being and Empowerment
   
[Illich2001]
Illich, Ivan.  Celebration of Awareness: A Call for Institutional Revolution.  Marion Boyers Publishing (London: 1971, 1972, 1976, 1998, 2001).  ISBN 0-7145-0838-1 pbk. Being and Empowerment
   
[Imai1997]
Imai, Masaaki.  Gemba Kaizen: a commonsense, low cost approach to management.  McGraw-Hill (New York: 1997).  ISBN 0-07-031446-2.  Quality Processes
 
[Infeld1967]
Einstein, Albert., Infeld, Leopold.  The Evolution of Physics: From Early Concepts to Relativity and Quanta.  Simon and Schuster (New York: 1938, 1966).  ISBN 0-671-20156-5 pbk.  A Touchstone Book.  See [Einstein1967]
   
[Isayeva2001]
Glass, Cindy., Griscti, Jane., Isayeva, Margarita., Kallambella, Ajith., Sierra, Kathy.  Mike Meyers' Java 2™ Certification Passport (Exam 310-025).  Osborne/McGraw-Hill (Berkeley, CA: 2001).  ISBN 0-07-219366-2 pbk + CD-ROM.  See [Glass2001]
[Jeffrey1998]
Jeffrey, Richard.  editor for [Boolos1998].
   
[Jeffrey2002]
Boolos, George S., Burgess, John P., Jeffrey, Richard.  Computability and Logic. ed.4.  Cambridge University Press (Cambridge: 2002).  ISBN 0-521-00758-5 pbk.  See [Boolos2002]
   
[Johnson1979]
Garey, Michael R., Johnson, David S.  Computers and Intractability: A Guide to the Theory of NP-Completeness.  W. H. Freeman (New York: 1979).  ISBN 0-7167-1045-5 pbk. See [Garey1979]
   
[Johnson1998]
Gamma, Erich., Helm, Richard., Johnson, Ralph., Vlissides, John.  Design Patterns CD: Elements of Reusable Object-Oriented Software.  Addison-Wesley (Boston: 1998).  ISBN 0-201-30952-1.  See [Gamma1998]
   
[Johnson1998b]
Felleisen, Matthias., Friedman, Daniel P.  A Little Java, A Few Patterns.  Foreword by Ralph E. Johnson.  MIT Press (Cambridge, MA: 1998).  ISBN 0-262-56115-8 pbk: alk. paper.  See [Felleisen1998]
 
[Josuttis99]
Josuttis, Nicolai M.  The C++ Standard Library: A Tutorial and Reference.  Addison-Wesley Longman (Reading, MA: 1999).  ISBN 0-201-37926-0.
   
[Jourdain1915]
Cantor, Georg.  Contributions to the Founding of the Theory of Transfinite Numbers.  Translation, Introduction and Notes by Philip E.  B. Jourdain.  Open Court (London: 1915). Unabridged republished edition by Dover Publications (New York: 1955).  ISBN 0-486-60045-9 pbk.  See [Cantor1915] Logic
   
[Joy2000]
Joy, Bill (ed.)., Steele, Guy L.,Jr., Gosling, James., Bracha, Gilad.  Java Language Specification.  2.ed.   Addison-Wesley (Boston: 2000).  ISBN 0-201-31008-2 pbk.  Programming Systems and Languages
   
[Kallambella2001]
Glass, Cindy., Griscti, Jane., Isayeva, Margarita., Kallambella, Ajith., Sierra, Kathy.  Mike Meyers' Java 2™ Certification Passport (Exam 310-025).  Osborne/McGraw-Hill (Berkeley, CA: 2001).  ISBN 0-07-219366-2 pbk + CD-ROM.  See [Glass2001]
   
[Kent1982]
Kent, William.  A Simple Guide to Five Normal Forms in Relational Database Theory. Comm. ACM 26, 2 (Feb. 1983), 120-125.  Computer Science
   
[Kent2000]
Kent, William.  Data and Reality.  ed.2.  The International Online Library.  (Bloomington, IN: 1998, 2000).  ISBN 1-58500-970-9.  Computer Science
      
[Keoh2002]
Keoh, Sye Loong., Lupu, Emil.  Towards Flexible Credential Verification in Mobile Ad-hoc Networks, pp. 58-65 in Proc. of the 2nd ACM International Workshop on Principles of Mobile Computing, POMC'02, Toulouse, France, October 30-31, 2002.  Trust and Trustworthy Computing
   
[Kleene1986]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.1: Publications 1929-1936.  Oxford University Press (New York: 1986).  ISBN 0-19-514720-0 pbk.  See [Gödel1986]
   
[Kleene1990]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.2: Publications 1938-1974.  Oxford University Press (New York: 1990).  ISBN 0-19-514721-9 pbk.  See [Gödel1990]
   
[Knuth1961]
Knuth, Donald E.  Minimizing Drum Latency Time.  J. ACM 8, 2 (April 1961), 119-150.  Computer Science
   
[Knuth1974]
Knuth, Donald E.  Computer Programming as an Art.  1974 Turing Award Lecture.  Comm. ACM 17, 12 (Dec. 1974), 667-673.  Computer Science
   
[Knuth1986]
Knuth, Donald E.  The IBM 650: An Appreciation from the Field.  Annals of the History of Computing 8, 1 (Jan. 1986), 50-55.  Software Engineering.
   
[Knuth1989]
Graham, Ronald L., Knuth, Donald E., Patashnik, Oren.  Concrete Mathematics: A Foundation for Computer Science.  Addison-Wesley (Reading, MA: 1989).  ISBN 0-201-14236-8.  See [Graham1989]
   
[Knuth1992]
Knuth, Donald E. «Literate Programming».  CSLI Lecture Notes Number 27.  Center for the Study of Language and Information (Palo Alto: 1992).  ISBN 0-937073-80-6 pbk.
   
[Knuth1993]
Knuth, Donald E.  Artistic :Programming.  This Week's Citation Classic.  Current Contents, Physical, Chemical & Earth Sciences 33, 34 (23 August 1993), 8.  Computer Science
   
[Knuth1996]
Knuth, Donald E. Selected Papers on Computer Science. CSLI Lecture Notes Number 59.  Center for the Study of Language and Information (Palo Alto: 1996). ISBN 1-881526-91-7 pbk.
 
[Knuth1997]
Knuth, Donald E.  The Art of Computer Programming, vol.1: Fundamental Algorithms. ed.3.  Addison Wesley Longman (Reading, MA: 1997).  ISBN 0-201-89683-4.  Computer Science
 
[Knuth1998]
Knuth, Donald E.  The Art of Computer Programming, vol.2: Seminumerical Algorithms.  ed.3.  Addision Wesley Longman (Reading, MA: 1998).  ISBN 0-201-89684-2.
 
[Knuth1998b]
Knuth, Donald E.  The Art of Computer Programming, vol.3: Sorting and Searching.  ed.2.  Addison Wesley Longman (Reading, MA: 1998).  ISBN 0-201-89685-0.
 
[Knuth2000]
Knuth, Donald E.  Selected Papers on Analysis of Algorithms.  CLSI Lecture Notes Number 102.  Center for the Study of Language and Information (Palo Alto: 2000).  ISBN 1-57586-212-3 pbk.
   
[Knuth2001]
Knuth, Donald Ervin.  Things a Computer Scientist Rarely Talks About.  Foreword by Anne Foerst.  CSLI Lecture Notes Number 136.  CSLI Publications (Stanford, CA: 2001).  ISBN 1-57586-326-X pbk.  Computing Milieux
      
[Körner1968]
Körner, Stephan.  The Philosophy of Mathematics: An Introductory Essay.  Hutchinson & Co (London: 1960, 1968).  Unabridged and unaltered republication by Dover Publications (New York: 1968).  ISBN 0-486-25048-2 pbk.  Mathematics
   
[Kurose2003]
Kurose, James F., Ross, Keith W.  Computer Networking: A Top-Down Approach Featuring the Internet.  ed.2, International.  Addison-Wesley (Boston, MA: 2003).  ISBN 0-321-17644-8 pbk.
   
[Lakoff2000]
Lakoff, George., Núńez, Rafael E. Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being.  Basic Books (New York: 2000).  ISBN 0-465-03771-2 pbk.  Mathematics
   
[Latzko1995]
Latzko, William J., Saunders, David M.  Four Days with Dr. Deming: A Strategy for Modern Methods of Management.  Addison-Wesley (Reading, MA: 1995).  ISBN 0-201-63366-3 pbk.  Quality Processes
   
[Lewontin2000]
Lewontin, Richard C.  It Ain't Necessarily So: The Dream of the Human Genome and Other Illusions.  The New York Review of Books (New York: 2000).  ISBN 0-940322-10-2.
[Lewis1981]
Lewis, Harry R., Papadimitriou, Christos H. Elements of the Theory of Computation. Prentice-Hall (Englewood Cliffs, NJ: 1981). ISBN 0-13-273417-6.  Computation Theory (Miser Project)
 
[Lifschitz1991]
Lifschitz, Vladimir (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press (San Diego: 1991). ISBN 0-12-450010-2.  Computation Theory (Miser Project)
     
[Lister2003]
DeMarco, Tom., Lister, Timothy.  Waltzing with Bears: Managing Risk on Software Projects.  Dorset House (New York: 2003).  ISBN 0-932633-60-9 pbk.  See [DeMarco2003].
   
[Lorentzos2003]
Date, C. J., Darwen, Hugh., Lorentzos, Nikos A.  Temporal Data and the Relational Model: A Detailed Investigation into the Application of Interval and Relational Theory to the Problem of Temporal Database Management.  Morgan Kaufmann (San Francisco: 2003).  ISBN 1-55860-855-9 pbk.  See [Date2003]
   
[Lupu2002]
Keoh, Sye Loong., Lupu, Emil.  Towards Flexible Credential Verification in Mobile Ad-hoc Networks, pp. 58-65 in Proc. of the 2nd ACM International Workshop on Principles of Mobile Computing, POMC'02, Toulouse, France, October 30-31, 2002.  See [Keoh2002].  Trust and Trustworthy Computing
   
[MacKenzie1998]
MacKenzie, Donald A.  Computers and the Sociology of Mathematical Proof.  Prepared for Northern Formal Methods Workshop, Ilkley, September 1998.  University of Edinburgh Department of Sociology.  Published on-line.  Trust and Trustworthy Computing
   
[MacKenzie2001]
MacKenzie, Donald A.  Mechanizing Proof: Computing, Risk, and Trust.  MIT Press (Cambridge, MA: 2001).  ISBN 0-262-13393-8 hard cover, alkaline paper.  Trust and Trustworthy Computing
   
[Maler2000]
Bray, Tim., Paoli, Jean., Sperberg-McQueen, C.M., Maler, Eve (eds.).  Extensible Markup Language (XML) 1.0 (Second Edition).  W3C Recommendation.  2000 October 6.  See [XML2000]
   
[McConnell1993]
McConnell, Steve.  Code Complete: A Practical Handbook of Software Construction.  Microsoft Press (Redmond, WA: 1993).  ISBN 1-55615-484-4 pbk.  Software Engineering
   
[McConnell1996]
McConnell, Steve.  Rapid Development: Taming Wild Software Schedules.  Microsoft Press (Redmond, WA: 1996).  ISBN 1-55615-900-5 pbk.  Software Engineering
   
[McConnell1999]
McConnell, Steve.  After the Goldrush: Creating a True Profession of Software Engineering.  Microsoft Press (Redmond, WA: 1999).  ISBN 0-7356-0877-6 pbk.  Software Engineering
    
[McConnell2004]
McConnell, Steve.  Professional Software Development: Shorter Schedules, Higher Quality Products, More Successful Projects, Enhanced Careers.  Addison Wesley (Boston, MA: 2004).  ISBN 0-321-19367-9 pbk.  Software Engineering
   
[Mendelson1970]
Stolyar, Abram Aronovich.  Introduction to Elementary Mathematical Logic.  Dover (New York: 1970).  ISBN 0-486-64561-4 pbk.  Unabridged and unaltered 1983 republication of the work published by MIT Press (Cambridge, MA: 1970).  Translation of Elementarnoe vvedenie v matematicheskuiu logiku, Prosveshcheniye Press (Moscow: 1965), with translation from the Russian edited by Elliot Mendelson.  See [Stolyar1970] Logic
   
[Mendelson1997]
Mendelson, Elliott.  Introduction to Mathematical Logic.  ed.4.  Chapman & Hall/CRC (Boca Raton, FL: 1964, 1979, 1987, 1997).  ISBN 0-412-80830-7.  Logic
   
[Merrill2001]
Albahari, Ben., Drayton, Peter., Merrill, Brad.  C# Essentials.  Programming the .NET Framework.  O'Reilley (Sebastopol, CA: 2001).  ISBN 0-596-00079-0 pbk.  See [Albahari2001]
   
[Metcalfe1997]
Denning, Peter J., Metcalfe, Robert M. (eds.)  Beyond Calculation: The Next Fifty Years of Computing.  Copernicus Springer-Verlag (New York: 1997).  ISBN 0-387-98588-3 pbk.  See [Denning1997]
   
[Michaels2002]
Wyke, R.Allen., Gilliam, Jason D., Ting, Charlton., Michaels, Sean.  Pure JavaScript, ed.2.  Sams (Indianapolis, IN: 2002).  ISBN 0-672-32141-6 pbk + CD-ROM.  See [Wyke2002]
   
[Michalewicz2000]
Michalewicz, Zbigniew., Fogel, David B.  How to Solve It: Modern Heuristics.  Corrected Second printing.  Springer-Verlag (Berlin: 2000).  ISBN 3-540-66061-5 alk.paper.  Mathematics
   
[Michener2002]
Acar, Tolga., Michener, John.  Risks in Features vs. Assurance.  Inside Risks column.   Comm. ACM 45, 8 (August 2002), 112.  See [Acar2002]
   
[Miller2002]
Astels, David., Miller, Granville., Novak, Miroslav.  A Practical Guide to eXtreme Programming.  Foreword by Scott W. Ambler.  Prentice Hall PTR (Upper Saddle River, NJ: 2002).  ISBN 0-13-067482-6.  See [Astels2002]
   
[Monk1999]
Monk, Ray.  Bertrand Russell.  The Great Philosophers Series, no. 7.  Phoenix, London; Rutledge, NY (London: 1997, New York: 1999).  ISBN 0-415-92386-7 pbk.  58pp.
   
[Moore1986]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.1: Publications 1929-1936.  Oxford University Press (New York: 1986).  ISBN 0-19-514720-0 pbk.  See [Gödel1986]
   
[Moore1990]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.2: Publications 1938-1974.  Oxford University Press (New York: 1990).  ISBN 0-19-514721-9 pbk.  See [Gödel1990]
   
[Mostowski1953]
Mostowski, Andrzej., Robinson, Raphael M., Tarski, Alfred.  II. Undecidability and Essential Undecidability in Arithmetic.  Part II of [Tarski1953].
   
[Motwani2001]
Hopcroft, John E., Motwani, Rajeev., Ullman, John D.  Introduction to Automata Theory, Languages, and Computation.  ed.2.  Addison-Wesley (Boston, MA: 2001).  ISBN 0-201-44124-1.  See [Hopcroft2001]
   
[Mueller2002]
Mueller, John Paul.  .NET Framework Solutions: In Search of the Lost Win32 API.  SYBEX (Alameda, CA: 2002).  ISBN 0-7821-4134-X pbk + CD-ROM.
   
[Nelson1986]
Nelson, Edward.  Predicative Arithmetic.  Mathematical Notes 32.  Princeton University Press (Princeton, NJ: 1986).  ISBN 0-691-08455-6 pbk.  Logic
   
[Novak2002]
Astels, David., Miller, Granville., Novak, Miroslav.  A Practical Guide to eXtreme Programming.  Foreword by Scott W. Ambler.  Prentice Hall PTR (Upper Saddle River, NJ: 2002).  ISBN 0-13-067482-6.  See [Astels2002]
   
[Núńez2000]
Lakoff, George., Núńez, Rafael E. Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being.  Basic Books (New York: 2000).  ISBN 0-465-03771-2 pbk.  See [Lakoff2000]
   
[Okasaki1998]
Okasaki, Chris. Purely Functional Data Structures. Cambridge University Press (Cambridge: 1998). ISBN 0-521-66350-4 pbk. Functional Programming Systems (Miser Project)
   
[Oskarsson1996]
Oskarsson, Östen., Glass, Robert L. An ISO 9000 Approach to Building Quality Software. Prentice Hall PTR (Upper Saddle River, NJ: 1995). ISBN 0-13-228925-3.  Software Engineering
   
[Ould1985]
Birrell, N.D., Ould, M.A.  A Practical Handbook for Software Development.  Cambridge University Press (Cambridge: 1985).  ISBN 0-521-25462-0.  See [Birrell1985]
   
[Paoli2000]
Bray, Tim., Paoli, Jean., Sperberg-McQueen, C.M., Maler, Eve (eds.).  Extensible Markup Language (XML) 1.0 (Second Edition).  W3C Recommendation.  2000 October 6.  See [XML2000]
   
[Papadimitriou1981]
Lewis, Harry R., Papadimitriou, Christos H. Elements of the Theory of Computation. Prentice-Hall (Englewood Cliffs, NJ: 1981). ISBN 0-13-273417-6.  See [Lewis1981]
   
[Park2003]
Park, Jack (ed.)., Hunting, Sam (tech.ed.).  XML Topic Maps: Creating and Using Topic Maps for the Web.  Foreword by Douglas C. Englebart.  Addison-Wesley (Boston, MA: 2003).  ISBN 0-201-74960-2 pbk.  Information Processing
   
[Parsons1995]
Gödel, Kurt., Feferman, Solomon (editor-in-chief)., Dawson, John W. Jr., Goldfarb, Warren., Parsons, Charles., Solovay, Robert M. (eds.).  Kurt Gödel: Collected Works, vol.3: Unpublished essays and lectures.  Oxford University Press (New York: 1995).  ISBN 0-19-514722-7 pbk.  See [Gödel1995]
   
[Patashnik1989]
Graham, Ronald L., Knuth, Donald E., Patashnik, Oren.  Concrete Mathematics: A Foundation for Computer Science.  Addison-Wesley (Reading, MA: 1989).  ISBN 0-201-14236-8.  See [Graham1989]
 
[Paulson1996]
Paulson, Lawrence C. ML for the Working Programmer. Cambridge University Press (Cambridge: 1991, 1996). ISBN 0-521-56543-X pbk. 
   
[Pelzer1999]
Gulutzan, Peter., Pelzer, Trudy.  SQL-99 Complete, Really: An Example-Based Reference Manual of the New Standard.  R&D Books Miller Freeman (Lawrence KS: 1999).   ISBN 0-87930-568-1 pbk + CD-ROM.  See [Gulutzan1999]
   
[Perry1997]
Russell, Bertrand.  The Problems of Philosophy.  With a new introduction by John Perry.  Oxford University Press (Oxford: 1912, 1997).  ISBN 0-19-511552-X pbk.  See [Russell1997].
   
[Petroski1985]
Petroski, Henry.  To Engineer Is Human: The Role of Failure in Successful Design.  St. Martin's Press (New York: 1982, 1983, 1984, 1985).  ISBN 0-312-80680-9.  Trust and Trustworthy Computing
   
[Petroski1994]
Petroski, Henry.  Design Paradigms: Case Histories of Error and Judgment in Engineering.  Cambridge University Press (Cambridge: 1994).  ISBN 0-521-46649-0 pbk.  Trust and Trustworthy Computing
   
[Petzold2000]
Petzold, Charles.  Code: The Hidden Language of Computer Hardware and Software.  Microsoft Press (Redmond, WA: 2000).  ISBN 0-7356-1131-9 pbk.
    
[Plato-400a]
Plato.  The Republic.  The complete and unabridged Benjamin Jowett (1817-1893) translation.  Random House Vintage Books (New York). Classic Edition, March 1991.  ISBN 0-679-73387-6 pbk.
 
[Plato-400b]
Plato.  The Republic of Plato.  Translated with notes and interpretive essay by Allan Bloom.  Basic Books (1968, 1991).  ISBN 0-465-06934-7 pbk.
   
[Plauger92]
Plauger, P.J.  The Standard C Library.  Prentice-Hall (Englewood Cliffs, NJ: 1992).  ISBN 0-13-131509-9.
   
[PMBOK2000]
Project Management Institute.  A Guide to the Project Management Body of Knowledge.  2000 Edition PMBOK Guide.  Approved American National Standard ANSI/PMI 99-001-2000.   PMI (Newtown Square, PA: 2000).  ISBN 1-880410-23-0 pbk.  Software Engineering
     
[Polanyi1975]
Polanyi, Michael., Prosch, Harry.  Meaning.  University of Chicago Press (Chicago: 1975).  ISBN 0-226-67295-6 ppbk.  Philosophy
   
[Pólya1957]
Pólya, George.  How to Solve It.  ed.2.  Princeton University Press (Princeton, NJ: 1945, 1957).  ISBN 0-691-08097-6.  Mathematics
   
[Prosch1975]
Polanyi, Michael., Prosch, Harry.  Meaning.  University of Chicago Press (Chicago: 1975).  ISBN 0-226-67295-6 ppbk.  See [Polanyi1975]
   
[Putnam1975]
Putnam, Hilary.  Philosophical Papers, vol. 2: Mind, Language and Reality.  Cambridge University Press (Cambridge: 1975).  ISBN 0-521-29551-3 pbk.
   
[Putnam1979]
Putnam, Hilary.  Philosophical Papers, vol. 1: Mathematics,  Matter and Method.  ed.2.  Cambridge University Press (Cambridge: 1975, 1979).  ISBN 0-521-29550-5 pbk.
   
[Putnam1983]
Putnam, Hilary.  Philosophical Papers, vol.3: Realism and Reason.  Cambridge University Press (Cambridge: 1983).  ISBN 0-521-31394-5 pbk.
   
[Putnam1988]
Putnam, Hilary.  Representation and Reality.  MIT Press (Cambridge, MA: 1988).  ISBN 0-262-66074-1 (paperback).
   
[Quine1960]
Quine, Willard Van Orman.  Word and Object.  MIT Press (Cambridge, MA: 1960).  ISBN 0-262-67001-1 pbk.  Philosophy
   
[Quine1969]
Quine, Willard Van Orman.  Set Theory and Its Logic.  Revised edition.  Harvard University Press (Cambridge, MA: 1963, 1969).  ISBN 0-674-80207-1 pbk.  Logic
   
[Quine1980]
Quine, Willard Van Orman.  Elementary Logic.  Revised edition.  Harvard University Press (Cambridge, MA: 1941, 1965, 1980).  ISBN 0-674-24451-6 pbk.  Logic
   
[Quine1980b]
Quine, Willard Van Orman.  From a Logical Point of View: Nine Logico-Philosophical Essays.  Second Edition, revised. Harvard University Press (Cambridge, MA: 1953, 1961, 1980).  ISBN 0-674-32351-3 pbk.  Logic
   
[Quine1981]
Quine, Willard Van Orman.  Mathematical Logic.  revised edition.  Harvard University Press (Cambridge, MA: 1940, 1951, 1979, 1981).  ISBN 0-674-55451-5 pbk.  Logic
   
[Quine1982]
Quine, Willard Van Orman.  Methods of Logic.  Fourth Edition.  Harvard University Press (Cambridge, MA: 1959, 1972, 1978, 1982).  ISBN 0-674-57176-2 pbk.  Logic
   
[Quine1986]
Quine, Willard Van Orman.  Philosophy of Logic.  ed.2.  Harvard University Press (Cambridge, MA: 1970, 1986).  ISBN 0-674-66563-5 pbk.  Logic
   
[Ramm2002]
Biermann, Alan W., Ramm, Dietolf.  Great Ideas in Computer Science with Java.  MIT Press (Cambridge, MA: 2002).  ISBN 0-262-02497-7 pbk. alk. paper.  See [Biermann2002]
       
[Resnick2001]
Resnick, Mitchel.  Closing the Fluency Gap.  Comm. ACM 44, 3 (March 2001), 144-145.
   
[Revesz1988]
Révész, György E. Lambda-Calculus, Combinators and Functional Programming. Cambridge University Press (Cambridge, 1988). ISBN 0-521-34589-8. Computation Theory (Miser Project)
   
[Reynolds1998]
Reynolds, John C. Theories of Programming Languages. Cambridge University Press (Cambridge: 1998). ISBN 0-521-59414-6 hardback.  Functional Programming Systems (Miser Project)
   
[Rob2002]
Rob, Peter., Coronel, Carlos.  Database Systems: Design, Implementation, and Management, ed.5.  Course Technology (Boston: 2002).  ISBN 0-619-06269-X.  Information Processing
   
[Robbins1996]
Courant, Richard., Robbins, Herbert.  What is Mathematics, ed. 2.  Revised by Ian Stewart.  Oxford University Press (New York: 1941, 1996).  ISBN 0-19-510519-2 pbk.  See [Courant1996]
   
[Robertson1999]
Robertson, Suzanne., Robertson, James.  Mastering the Requirements Process. ACM Press.  Addison Wesley.  Pearson Education Limited (Harlow, England: 1999).  ISBN 0-201-36046-2.  Foreword by Gerald Weinberg.
   
[Robinson1953]
Mostowski, Andrzej., Robinson, Raphael M., Tarski, Alfred.  II. Undecidability and Essential Undecidability in Arithmetic.  Part II of [Tarski1953].
   
[Robinson1996]
Robinson, Abraham.  Non-Standard Analysis.  ed.2.  Princeton University Press (Princeton, NJ: 1965, 1973, 1996).  ISBN 0-691-04490-2 pbk.  Re-issue of the 1973 second edition with a 1996 foreword by Wilhelmus A. J. Luxemburg.
   
[Rogers1987]
Rogers, Hartley, Jr.  Theory of Recursive Functions and Effective Computability.  MIT Press (Cambridge, MA: 1967, 1987).  ISBN 0-262-68052-1 pbk.  Logic
   
[Rosenbloom1950]
Rosenbloom, Paul.  The Elements of Mathematical Logic.  Dover (New York: 1950).  pbk.
   
[Ross2003]
Kurose, James F., Ross, Keith W.  Computer Networking: A Top-Down Approach Featuring the Internet.  ed.2, International.  Addison-Wesley (Boston, MA: 2003).  ISBN 0-321-17644-8 pbk.  See [Kurose2003]
   
[Royce1998]
Royce, Walker.  Software Project Management: A Unified Framework.  Forward by Barry Boehm.  Addison-Wesley (Boston: 1998).  ISBN 0-201-30958-0.  Software Engineering
   
[Russell1917]
Russell, Bertrand.  Mysticism and Logic and Other Essays.  George Allen & Unwin (1917, 1963 edition); Barnes & Noble Books (Totowa, NJ: 1981).  ISBN 0-389-20135-9 pbk.  Philosophy
    
[Russell1937]
Russell, Bertrand.  The Principles of Mathematics.  ed. 2. George Allen & Untwin Ltd. (London: 1903, 1937).  Logic.
   
[Russell1974] 
Wittgenstein, Ludwig.  Tractatus Logico-Philosophicus.  Translated by D. F. Pears and B. F. McGuiness, with the 1922 Introduction by Bertrand Russell.  Routledge (London: 1921, 1922, 1961, 1974).  ISBN 0-415-02825-6 pbk.  See [Wittgenstein1974]
   
[Russell1997]
Russell, Bertrand.  The Problems of Philosophy.  With a new introduction by John Perry.  Oxford University Press (Oxford: 1912, 1997).  ISBN 0-19-511552-X pbk.
   
[Russell1997b]
Whitehead, Alfred North., Russell, Bertrand.  Principia Mathematica to *56.  See [Whitehead1997].
   
[Saunders1995]
Latzko, William J., Saunders, David M.  Four Days with Dr. Deming: A Strategy for Modern Methods of Management.  Addison-Wesley (Reading, MA: 1995).  ISBN 0-201-63366-3 pbk.  See [Latzko1995].
   
[Sbisŕ1975]
Austin, J.L., Urmson, J.O.(ed.)., Sbisŕ, Marina (ed.).  How To Do Things with Words,  ed.2. Harvard University Press (Cambridge, MA: 1962, 1975).  ISBN 0-674-41152-8 pbk.  See [Austin1975]
   
[Schank2001]
Schank, Roger C.  The Computer isn't the Medium, It's the Message.  Comm. ACM 44, 3 (March 2001), 142-143.
   
[Schneier1996]
Schneier, Bruce.  Applied Cryptography: Protocols, Algorithms, and Source Code in C. ed.2.  With a Foreword by Whitfield Diffie and Afterword by Matt Blaze.  Wiley (New York: 1966).  ISBN 0-471-11709-9 pbk.  Trust and Trustworthy Computing
   
[Schneier2003]
Schneier, Bruce.  Beyond Fear: Thinking Sensibly About Security in an Uncertain World.  Copernicus (New York: 2003).  ISBN 0-387-02620-7 (alk. paper).  Trust and Trustworthy Computing
   
[Schoonmaker1997]
Schoonmaker, Stephen J. ISO 9001 for Engineers and Designers...  McGraw-Hill (New York: 1997).  ISBN 0-07-057710-2 (alk. paper). Quality Processes
   
[Schwalbe2004]
Schwalbe, Kathy.  Information Technology Project Management, ed.3.  Thomson Course Technology (Boston, MA: 2004).  ISBN 0-619-15984-7 pbk + CD-ROM.  Software Engineering & Development
   
[Sedgewick1989]
Sedgewick, Robert.  Algorithms.  Second edition.  Addison-Wesley (Reading, MA: 1983, 1988).  1989 reprint with authors corrections.  ISBN 0-201-06673-4.
   
[Shaw96]
Shaw, Mary., Garlan, David. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall (Upper Saddle River, NJ: 1996). ISBN 0-13-182957-2.
   
[Sierra2001]
Glass, Cindy., Griscti, Jane., Isayeva, Margarita., Kallambella, Ajith., Sierra, Kathy.  Mike Meyers' Java 2™ Certification Passport (Exam 310-025).  Osborne/McGraw-Hill (Berkeley, CA: 2001).  ISBN 0-07-219366-2 pbk + CD-ROM.  See [Glass2001]
   
[Sierra2003]
Sierra, Kathy., Bates, Bert.  Head First Java™.  O'Reilly (Sebastapol, CA: 2003).  ISBN 0-596-00465-6 pbk.  Programming Systems and Languages
   
[Sinha2000] 
Agarwal, Ritu., De, Prabuddha., Sinha, Atish P., Tanniru, Mohan.  On the Usability of OO Representations.  Comm. ACM 43, 10 (October 2000), 83-89.  See [Agarwal2000]
   
[Sipser1997]
Sipser, Michael.  Introduction to the Theory of Computation.  PWS Publishing (Boston, MA: 1997).  ISBN 0-534-94728-X. Computation Theory (Miser Project)
   
[Skiena1998]
Skiena, Steven S.  The Algorithm Design Manual.  Springer-Verlag TELOS (New York: 1998).  ISBN 0-387-94860-0 (book & CD-ROM).
   
[Smith1996]
Smith, Brian Cantwell.  On the Origin of Objects.  MIT Press (Cambridge, MA: 1996).  ISBN 0-262-69209-0 pbk.
   
[Smullyan1961]
Smullyan, Raymond M.  Theory of Formal Systems.   Annals of Mathematical Studies 47. Princeton University Press (Princeton, NJ: 1961).  ISBN 0-691-08047-X pbk.  Logic
   
[Smullyan1995]
Smullyan, Raymond M.  First-Order Logic.  Dover Publications (New York: 1968, 1995).  ISBN 0-486-68370-2 pbk.  Logic
   
[Snyder2004]
Swiderski, Frank., Snyder, Window.  Threat Modeling.  Microsoft Press (Redmond, WA: 2004).  ISBN 0-7356-1991-3 pbk.  See [Swiderski2004]
   
[Solovay1986]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.1: Publications 1929-1936.  Oxford University Press (New York: 1986).  ISBN 0-19-514720-0 pbk.  See [Gödel1986]
    
[Solovay1990]
Gödel, Kurt., Feferman, Solomon (editor-in-chief), Dawson, John W. Jr., Kleene, Stephen C., Moore, Gregory H., Solovay, Robert M., van Heijenoort, Jean (eds.).  Kurt Gödel: Collected Works, vol.2: Publications 1938-1974.  Oxford University Press (New York: 1990).  ISBN 0-19-514721-9 pbk.  See [Gödel1990]
   
[Solovay1995]
Gödel, Kurt., Feferman, Solomon (editor-in-chief)., Dawson, John W. Jr., Goldfarb, Warren., Parsons, Charles., Solovay, Robert M. (eds.).  Kurt Gödel: Collected Works, vol.3: Unpublished essays and lectures.  Oxford University Press (New York: 1995).  ISBN 0-19-514722-7 pbk.  See [Gödel1995]
      
[Sommerville2001]
Sommerville, Ian.  Software Engineering, ed.6.  Addison-Wesley (Boston: 2001).  ISBN 0-201-39815-X.  Software Engineering
   
[Sperberg-McQueen2000]
Bray, Tim., Paoli, Jean., Sperberg-McQueen, C.M., Maler, Eve (eds.).  Extensible Markup Language (XML) 1.0 (Second Edition).  W3C Recommendation.  2000 October 6.  See [XML2000]
      
[Spinosa1997]
Spinosa, Charles., Flores, Fernando., Dreyfus, Hubert L.  Disclosing New Worlds.  MIT Press (Cambridge, MA: 1997).  ISBN 0-262-69224-4 pbk.
   
[Steele95]
Harbison, Samuel P., Steele, Guy L.,Jr.  C, A Reference Manual.  ed.4.  Prentice-Hall (Englewood Cliffs, NJ: 1995).  ISBN 0-13-326224-3 pbk.  See [Harbison95]
   
[Steele2000]
Joy, Bill (ed.)., Steele, Guy L.,Jr., Gosling, James., Bracha, Gilad.  Java Language Specification.  2.ed.   Addison-Wesley (Boston: 2000).  ISBN 0-201-31008-2 pbk.  See [Joy2000]
   
[Stewart1995]
Stewart, Ian.  Concepts of Modern Mathematics.  Dover Publications (New York: 1975, 1981, 1995).  An unabridged, slightly corrected republication of the 1981 edition of the work first published by Penguin Books, Harmondsworth, Middlesex, England, 1975.  ISBN 0-486-28424-7 pbk.
   
[Stewart1996]
Courant, Richard., Robbins, Herbert.  What is Mathematics, ed. 2.  Revised by Ian Stewart.  Oxford University Press (New York: 1941, 1996).  ISBN 0-19-510519-2 pbk.  See [Courant1996]
   
[Stoll1963]
Stoll, Robert R.  Set Theory and Logic.  Dover Publications (New York: 1961, 1964).  ISBN 0-486-63829-4.  Logic