% $Id$

% Math, general stuff that doesn't go elsewhere.

@Book{Abelson-diSessa80,
  Author =	 "Harold Abelson and Andrea diSessa",
  Title =	 "Turtle Geometry",
  Publisher =	 MITP,
  Address =	 "Cambridge, Mass.",
  Year =	 1980,
  Annote =	 "Math using turtles as in Logo."
}

@Book{Abrahams-Larson92,
  Author =	 "Paul W. Abrahams and Bruce R. Larson",
  Title =	 "Unix for the Impatient",
  Publisher =	 "Addison-Wesley",
  Year =	 1992,
  Address =	 "Reading, Mass."
}

@Book{Adamek-Herrlich-Strecker90,
  Author =	 "Jiri Adamek and HoirstHerrlich and George Strecker",
  Title =	 "Abstract and Concrete Catagories",
  Publisher =	 "Wiley-Interscience",
  Year =	 1990,
  Series =	 "Pure and Applied Mathematics series",
  Address =	 NY
}

@Book{Adobe91,
  Author =	 "Adobe Systems Incorporated",
  Title =	 "POSTSCRIPT Language: Tutorial and CookBook",
  Year =	 1991,
  Publisher =	 "Addison-Wesley Publishing Company, Inc",
  Annote =	 "6 references"
}

@Book{Aho-Hopcroft-Ullman76,
  title={The Design and Analysis of Computer Algorithms},
  author={Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman},
  year={1976},
  publisher={Addison-Wesley},
  edition={Third printing}
}

@InCollection{Airasian-Madaus74,
  Author =	 "Peter W. Airasian and George F. Madaus",
  Title =	 "Criterion-Referenced Testing in the Classroom",
  BookTitle =	 "Crucial Issues in Testing",
  Publisher =	 "McCutchan Publishing Corp.",
  Year =	 1974,
  Editor =	 "Ralph W. Tyler and Richard M. Wolf",
  Series =	 "Contemporary Educational Issues",
  Chapter =	 8,
  Pages =	 "73-88",
  Address =	 "Berkeley, Calif.",
  Annote =	 "30 references."
}

@Article{Anderson-Block85,
  Author =	 "L. W. Anderson and J. H. Block",
  Title =	 "Mastery Learning Model of Teaching",
  Journal =	 "International Encyclopedia of Education",
  Year =	 1985,
  Pages =	 "3219-3230",
  Annote =	 "31 references."
}

@Book{Arbib-Manes75,
  Author =	 "Michael A. Arbib and Ernest G. Manes",
  Title =	 "Arrows, Structures, and Functors: The Categorical
                  Imperative",
  Publisher =	 "Academic Press",
  Address =	 NY,
  Year =	 1975,
  Annote =	 "Category theory for computer scientists."
}

@Book{Arick95,
  author =	 "Martin Arick",
  title =	 "{UNIX} for {DOS} users",
  publisher =	 "Wiley",
  year =	 1995,
  address =	 NY
}

@Book{Aristotle61,
  Author =	 "Aristotle",
  Title =	 "Physics",
  Publisher =	 "University of Nebraska Press",
  Year =	 1961,
  Address =	 "Lincoln, Nebraska"
}

@Article{Arnstein-etal02,
  author =	 "Larry Arnstein and Chia-Yang Hung and Robert Franza
                  and Qing Hong Zhou and Gaetano Borriello and Sunny
                  Consolvo and Jing Su",
  title =	 "Labscape: A Smart Environment for the Cell Biology
                  Laboratory",
  journal =	 "IEEE Pervasive Computing",
  year =	 2002,
  pages =	 "13-21",
  month =	 jul,
  volume =	 1,
  number =	 3,
}

@Article{Arya94,
  Author =	 "Kavi Arya",
  Title =	 "A functional animation starter-kit",
  Journal =	 "Journal of Functional Programming",
  Year =	 1994,
  Volume =	 4,
  Number =	 1,
  Month =	 jan,
  Pages =	 "1-18",
  Annote =	 "11 references."
}

@Book{Asperti-Longo91,
  Author =	 "Andrea Asperti and Guiseppe Longo",
  Title =	 "Categories, Types and Structures",
  Publisher =	 MITP,
  Year =	 1991,
  Address =	 "Cambridge, Mass",
  Annote =	 " around 180 references."
}

@Article{Austing-etal79,
  author =	 "Righard H. Austing and Bruce H. Barnes and Della
                  T. Bonnette and Gerald L. Endgel and Gordon Stokes",
  title =	 "Curriculum '78: Recommendations for the
                  Undergraduate Program in Computer Science",
  journal =	 CACM,
  year =	 1979,
  volume =	 22,
  number =	 3,
  pages =	 "147-166",
  month =	 mar,
  annote =	 "10 references."
}

@Book{Auyang04,
  author = 	 {Sunny Y. Auyang},
  title = 	 {Engineering---An Endless Frontier},
  publisher = 	 {Harvard University Press},
  year = 	 2004,
  address =      {Cambridge, Mass.},
}

@Book{Babbage82,
  Author =	 "Charles Babbage",
  Title =	 "Babbage's calculating engines : a collection of
                  papers",
  Publisher =	 "Tomash",
  Year =	 1982,
  Editor =	 "Henry Prevost Babbage",
  Volume =	 "2",
  Series =	 "The Charles Babbage Institute reprint series for the
                  history of computing",
  Address =	 "Los Angeles"
}

@Unpublished{Babyonyshev03,
  author =	 {Sergei Babyonyshev},
  title =	 {Fully Fregean Logics},
  note =	 {Submitted for publication},
  year =	 2003
}

@Book{Balcazar-Diaz-Gabarro88,
  Author =	 "Jos\'{e} Luis Balc\'{a}zar and Josep D\'{i}az and
                  Joaquim Gabarr\'{o}",
  Title =	 "Structural Complexity I",
  Year =	 1988,
  Publisher =	 SV,
  Address =	 NY,
  Annote =	 "Hundreds of references."
}

@Book{Bandemer-Gottwald95,
  author =	 {Hans Bandemer and Siegfried Gottwald},
  title =	 {Fuzzy Sets, Fuzzy Logic Fuzzy Methods with
                  Applications},
  publisher =	 {John Wiley \& Sons},
  year =	 1995,
  address =	 NY,
  annote =	 {Many references.}
}

@Book{Barkakati91,
  Author =	 "Nabajyoti Barkakati",
  Title =	 "Unix Desktop Guide to X/Motif",
  Publisher =	 "SAMS",
  Year =	 1991,
  Address =	 "Carmel, Indiana"
}

@Article{Baroody-DeWitt81,
  Author =	 "A. James Baroody, Jr. and David J. DeWitt",
  Title =	 "An Object-Oriented Approach to Database System
                  Implementation",
  Journal =	 TODS,
  Volume =	 6,
  Number =	 4,
  Month =	 dec,
  Year =	 1981,
  Pages =	 "576-601",
  Annote =	 "32 references."
}

@Book{Barr-Wells90,
  Author =	 "Michael Barr and Charles Wells",
  Title =	 "Category Theory for Computing Science",
  Publisher =	 Prentice-Hall,
  Series =	 "International Series in Computer Science",
  Address =	 "Englewood Cliffs, N.J.",
  Year =	 1990,
  Note =	 "ISBN 0-13-120486-6",
  Annote =	 "Excellent introductory text, with hundreds of
                  references."
}

@Article{Beer-Chiel-Drushel99,
  author =	 {Randall D. Beer and Hillel J. Chiel and Richard
                  F. Drushel},
  title =	 {Using Autonomous Robotics to Teach Science and
                  Engineering},
  journal =	 CACM,
  year =	 1999,
  volume =	 42,
  number =	 6,
  month =	 jun,
  pages =	 {85-92},
  annote =	 {12 references.}
}

@Book{Bergman-Maddux-Pigozzi90,
  Editor =	 "C. H. Bergman and R. D. Maddux and D. L. Pigozzi",
  Title =	 "Algebraic Logic and Universal Algebra in Computer
                  Science, Conference, Ames, Iowa, USA, June, 1988",
  Series =	 LNCS,
  Volume =	 425,
  Year =	 1990,
  Publisher =	 SV,
  Address =	 NY
}

@Book{Berkson74,
  Author =	 "William Berkson",
  Title =	 "Fields of Force: The Development of a World View
                  from Faraday to Einstein",
  Publisher =	 "John Wiley and Sons",
  Year =	 1974,
  Address =	 NY
}

@Book{Birkhoff67,
  Author =	 "Garrett Birkhoff",
  Title =	 "Lattice Theory",
  Publisher =	 "American Mathematical Society",
  Year =	 1967,
  Volume =	 25,
  Series =	 "American Mathematical Societ Colloquium
                  Publications",
  Address =	 NY,
  Edition =	 "Third edition",
  Annote =	 "Many references."
}

@Article{Blok-Pigozzi89,
  author =	 {W. J. Blok and D. Pigozzi},
  title =	 {Algebraizable Logics},
  journal =	 {Memoirs of the American Mathematical Society},
  year =	 1989,
  month =	 jan,
  volume =	 396
}

@Article{Blok-Pigozzi97,
  author =	 {W. J. Blok and D. Pigozzi},
  title =	 {Abstract Algebraic Logic and the Deduction Theorem},
  journal =	 {Journal of Symbolic Logic},
  year =	 1997,
  note =	 {To appear.}
}

@Book{Bloom-Hastings-Madaus71,
  Author =	 "Benjamin S. Bloom and J. Thomas Hastings and George
                  F. Madaus",
  Title =	 "Handbook on Formative and Summative Evaluation of
                  Student Learning",
  Publisher =	 "McGraw-Hill",
  Year =	 1971,
  Address =	 NY
}

@InCollection{Bowers-Lewin-Pigozzi01,
  author =	 {S. E. Bowers and R. A. Lewin and Don Pigozzi},
  title =	 {An annotated logic defined by a matrix.},
  booktitle =	 {Unsolved Problems on Mathematics for the 21th
                  Century --- A Tribute to Kioshi Iseki's 80th
                  Birthday},
  publisher =	 {IOS Press},
  year =	 2001,
  editor =	 {J. Abe and S. Tanak},
  address =	 {Amsterdam}
}

@InProceedings{Bridges-etal03,
  author =	 "Seth Bridges and Miguel Figueroa and David Hsu and
                  Chris Diorio",
  title =	 "Field-Programmable Learning Arrays",
  booktitle =	 "Advances in Neural Information Processing Systems
                  15",
  year =	 2003,
  publisher =	 "MIT Press",
  address =	 "Cambridge, MA",
}

@Book{Brown88,
  Author =	 "C. Marlin Brown",
  Title =	 "Human-computer interface design guidelines",
  Publisher =	 "Ablex Pub. Corp.",
  Year =	 1988,
  Address =	 "Norwood, NJ",
  Note =	 "Call Number: QA76.76.D47 B76 1988"
}

@Book{Cameron-Rosenblatt91,
  Editor =	 "Debra Cameron and Bill Rosenblatt",
  Title =	 "Learning GNU Emacs",
  Publisher =	 "O'Reilly \& Associates",
  Year =	 1991,
  Address =	 "Sebastopol, CA",
  Note =	 "ISBN 0-937175-84-6"
}

@Book{Cardenas-McLeod90,
  Editor =	 "Alfonso F. Cardenas and Dennis McLeod",
  Title =	 "Research foundations in object-oriented and semantic
                  database systems",
  Publisher =	 "Prentice Hall",
  Year =	 1990,
  Series =	 "Prentice Hall series in data and knowledge base
                  systems",
  Address =	 "Englewood Cliffs, NJ"
}

@Book{Caroll90,
 author = {John M. Carroll},
 title = {The Nurnberg funnel: designing minimalist instruction for
          practical computer skill},
 year = 1990,
 isbn = {0-262-0316390},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
}

@Book{Catalano06,
  author = 	 {George D. Catalano},
  title = 	 {Engineering Ethics: Peace, Justice, and the Earth},
  publisher = 	 {Morgan \& Claypool},
  year = 	 2006,
  address = 	 {San Rafael, CA},
  annote = 	 {Advocates an environmentally friendly ethics based on Johnson's morally deep world philosophy. Thid idea is to identify integral communities concerned (stakeholders). 69 references.}
}

@book{Cattel94,
   author    = {R.G.G. Cattell},
   title     = {The Object Database Standard: {ODMG--93}},
   year      = {1994},
   publisher = {Morgan Kaufmann Publishers},
   address   = {San Mateo, California}
}

@Book{Church41,
  Author =	 "A. Church",
  Title =	 "The Calculi of Lambda Conversion",
  Series =	 "Annals of Mathematics Studies",
  Volume =	 6,
  Publisher =	 "Princeton University Press",
  Address =	 "Princeton, N.J.",
  Year =	 1941,
  Note =	 "Reprinted by Klaus Reprint Corp., New York in 1965."
}

@Book{Cormen-Leiserson-Rivest90,
  author =	 {T. H. Cormen and C. E. Leiserson and R. Rivest},
  title =	 {Introduction to Algorithms},
  publisher =	 MITP,
  year =	 1990
}

@Book{Crevier93,
  Author =	 "Daniel Crevier",
  Title =	 "AI: The Tumultuous History of the Search for
                  Artificial Intelligence",
  Publisher =	 "Basic Books",
  Year =	 1993,
  Annote =	 "Hundreds of references."
}

@Book{Crole94,
  Author =	 "Roy L. Crole",
  Title =	 "Categories for Types",
  Publisher =	 "Cambridge",
  Year =	 1994,
  Series =	 "Cambridge Mathematical Textbooks",
  Address =	 "Cambridge, UK"
}
                  
@article{ComputingCurriculum01,
 author = {The Joint Task Force on Computing Curricula},
 title = {Computing curricula 2001},
 journal = {Journal on Educational Resources in Computing},
 issn = {1531-4278},
 pages = {1-231},
 year = 2001,
 doi = {http://doi.acm.org/10.1145/384274.384275},
 publisher = ACM,
 address = {New York, NY, USA},
}

@Book{Cutajar18,
  author = 	 {James Cutajar},
  title = 	 {Beginning Java Data Structures and Algorithms},
  publisher = 	 {Packt},
  year = 	 2018,
  address = 	 {Birmingham, UK}
}

@TechReport{Czelakowski-Pigozzi96,
  author =	 {J. Czelakowski and D. Pigozzi},
  title =	 {Amalgamation and interpolation in abstract algebraic
                  logic},
  institution =	 {Centre de Recerca Matematica},
  address =	 {Barcelona, Spain},
  year =	 1996,
  month =	 sep,
  type =	 {preprint},
  number =	 343
}

@InProceedings{Czelakowski-Pigozzi99,
  author =	 {J. Czelakowski and D. Pigozzi},
  title =	 {Amalgamation and interpolation in abstract algebraic
                  logic},
  booktitle =	 {Models, Algebras, and Proofs: selected papers of the
                  X Latin American symposium on mathematical logic
                  held in Bogota},
  year =	 1999,
  editor =	 {X. Caicedo and C. H. Montenegro},
  series =	 {Lecture Notes in Pure and Applied Mathematics},
  volume =	 203,
  publisher =	 {Marcel Dekker, Inc.},
  address =	 NY,
  pages =	 {187--265}
}

@Book{Cziko95,
  author =	 {Gary Cziko},
  title = 	 {Without Miracles:
               Universal Selection Theory and the Second Darwinian Revolution},
  publisher = 	 MITP,
  year = 	 1995,
  annote =	 {Basic idea is that selection theory can explain more than
                  just biological evolution, but all instances of adaptive fit.
                  Many references.}
}

@Book{Davey-Priestley90,
  Author =	 "B. A. Davey and H. A. Priestley",
  Title =	 "Introduction to Lattices and Order",
  Publisher =	 "Cambridge",
  Year =	 1990,
  Series =	 "Cambridge Mathematical Series",
  Address =	 NY,
  Annote =	 "57 references."
}

@Book{Deming82,
  Author =	 "W. Edwards Deming",
  Title =	 "Quality, productivity and competative position",
  Publisher =	 "MIT Center for Advanced Engineering Study",
  Year =	 1982
}

@Article{Denning-etal89,
  Author =	 "Peter J. Denning and Douglas E Comer and David Gries
                  and Michael C. Mulder and Allen Tucker and A. Joe
                  Turner and Paul R. Young",
  Title =	 "Computing as a Discipline",
  Journal =	 CACM,
  Year =	 1989,
  Volume =	 32,
  Number =	 1,
  Month =	 jan,
  Pages =	 "9-23",
  Annote =	 "5 references."
}

@article{Denning76,
 author = {Dorothy E. Denning},
 title = {A Lattice Model of Secure Information Flow},
 journal = CACM,
 issue_date = {May 1976},
 volume = {19},
 number = {5},
 month = may,
 year = {1976},
 issn = {0001-0782},
 pages = {236-243},
 url = {http://doi.acm.org/10.1145/360051.360056},
 doi = {10.1145/360051.360056},
 acmid = {360056},
 publisher = ACM,
 address = NY,
 keywords = {information flow, lattice, program certification, protection, security, security class},
 annote = {24 references.}
} 


@Article{Denning92,
  Author =	 "Peter J. Denning",
  Title =	 "Educating a New Engineer",
  Journal =	 CACM,
  Year =	 1992,
  Volume =	 35,
  Number =	 17,
  Month =	 dec,
  Pages =	 "82-97",
  Annote =	 "How to save the university. 29 references."
}

@Article{Denning93,
  Author =	 "Peter J. Denning",
  Title =	 "Designing New Principles to Sustain Research in our
                  Universities",
  Journal =	 CACM,
  Year =	 1993,
  Volume =	 36,
  Number =	 7,
  Month =	 jul,
  Pages =	 "98-104",
  Annote =	 "6 references."
}

@Book{Devaney90,
  Author =	 "Robert L. Devaney",
  Title =	 "Chaos, fractals, and dynamics: computer experiments
                  in mathematics",
  Publisher =	 "Addison-Wesley",
  Year =	 1990,
  Address =	 "Reading, Mass.",
  Annote =	 "ISBN 0-201-23228-X"
}

@Book{Dewdney84,
  Author =	 "A. K. Dewdney",
  Title =	 "The planiverse : computer contact with a
                  two-dimensional world",
  Publisher =	 "Poseidon Press",
  Year =	 1984,
  Address =	 NY
}

@Book{Dewdney88,
  Author =	 "A. K. Dewdney",
  Title =	 "The Armchair Universe: An Exploration of Computer
                  Worlds",
  Publisher =	 "W. H. Freeman",
  Year =	 1988,
  Address =	 NY
}

@Book{Dewdney89,
  Author =	 "A. K. Dewdney",
  Title =	 "The Turing Omnibus : 61 excursions in computer
                  science",
  Publisher =	 "Computer Science Press",
  Year =	 1989,
  Address =	 "Rockville, MD"
}

@Book{Dewdney90,
  Author =	 "A. K. Dewdney",
  Title =	 "The magic machine : a handbook of computer sorcery",
  Publisher =	 "W.H. Freeman",
  Year =	 1990,
  Address =	 NY
}

@Book{Dewdney93,
  Author =	 "A. K. Dewdney",
  Title =	 "The Tinkertoy Computer and other machinations",
  Publisher =	 "W.H. Freeman",
  Year =	 1993,
  Address =	 NY
}

@Book{Dugas55,
  Author =	 "Rene Dugas",
  Title =	 "A History of Mechanics",
  Publisher =	 "Editions du Griffon",
  Year =	 1955,
  Address =	 "Neuchatel, Switzerland",
  Note =	 "Translated by J. R. Maddox"
}

@Book{Eagle11,
  author = 	 {Chris Eagle},
  title = 	 {The IDA PRO Book: The Unofficial Guide to the World's Most Popular Disassembler},
  publisher = 	 {No Starch Press},
  year = 	 2011,
  address = 	 {San Francisco}
}

@Book{Enderton72,
  Author =	 "Herbert B. Enderton",
  Title =	 "A Mathematical Introduction to Logic",
  Publisher =	 "Academic Press, Inc.",
  Address =	 "Orlando, Florida",
  Year =	 1972,
  Annote =	 "Basic results in logic."
}

@Book{Euclid56,
  author =	"Euclid",
  title =	"Elements",
  publisher =	"Dover",
  year = 	1956,
  note = 	"Translated by Sir Thomas L.~Heath"
}

@Article{Faraday52,
  Author =	 "Michael Faraday",
  Title =	 "On the Physical Lines of Magnetic Force",
  Journal =	 "Royal Institution Proceedings",
  Year =	 1852,
  Month =	 jun,
  Note =	 "Reprinted in volume 45 of the Great Books Series,
                  Encyclopaedia Britannica, Inc., Chicago, Illinois,
                  1952"
}

@Article{Felder-Silverman88,
  Author =	 "R. M. Felder and L. K. Silverman",
  Title =	 "Learning and Teaching Styles in Engineering
                  Education",
  Journal =	 "Engineering Education",
  Year =	 1988,
  Volume =	 78,
  Number =	 7,
  Pages =	 674
}

@Article{Felder90,
  Author =	 "Richard M. Felder",
  Title =	 "Meet Your Students: 2. {Susan and Glenda}",
  Journal =	 "Chemical Engineering Education",
  Year =	 1990,
  Volume =	 24,
  Number =	 1,
  Month =	 "Winter",
  Pages =	 "7,11",
  Annote =	 "1 reference."
}

@Unpublished{Felder93,
  Author =	 "Richard M. Felder",
  Title =	 "Effective Teaching: a Workshop",
  Note =	 "Participant's notebook.",
  Month =	 sep,
  Year =	 1993
}

@Unpublished{Feldhusen-Amendola05,
  author = 	 {Dirk Feldhusen and Sandro Amendola},
  title = 	 {Low Assurance Protection Profile for a {VPN} gateway},
  note = 	 {Protection Profile on the Common Criteria site},
  month = 	 apr,
  year = 	 2005,
  URL =          {https://www.commoncriteriaportal.org/files/ppfiles/pp0013b.pdf}
}

@Book{Feynman-Leighton-Sands63,
  Author =	 "Richard P. Feynman and Robert B. Leighton and
                  Matthew Sands",
  Title =	 "The Feynman Lectures on Physics",
  Publisher =	 "Addison-Wesley",
  Year =	 1963,
  Volume =	 "I",
  Address =	 "Reading, Massachusetts"
}

@Book{Font-Jansana96,
  author =	 {Josep M. Font and Ramon Jansana},
  title = 	 {A General Algebraic Semantics for Sentential Logics},
  publisher = 	 SV,
  year = 	 1996,
  volume =	 7,
  series =	 {Lecture Notes in Logic},
  address =	 {Berlin},
  annote =	 {119 references}
}

@InCollection{Forrester70,
  author = 	 {Jay W. Forrester},
  title = 	 {Engineering Education and Engineering Practice in the Year 2000},
  booktitle = 	 {Engineering for the Benefit of Mankind},
  pages = 	 {129-144},
  publisher = {National Academy of Sciences},
  year = 	 1970,
  editor = 	 {H.F. Barr, National Academy of Engineering},
  chapter = 	 7,
  address = 	 {Washington, DC},
  annote = 	 {No references.}
}

@Article{Forscher65,
  author = 	 {Bernard K. Forscher},
  title = 	 {Rules for Referees},
  journal = 	 {Science},
  year = 	 1965,
  volume = 	 150,
  pages = 	 {319-321},
  month = 	 {oct},
  doi = 	 {10.1126/science.150.3694.319}
}

@Book{Freeman-Skapura91,
  Author =	 "James Freeman and David skapura",
  Title =	 "Neural Networks: algorithms, applications, and
                  programming techniques",
  Publisher =	 "Addison-Wesley Publishing co",
  Address =	 "Redwood City, CA",
  Year =	 1991,
  Annote =	 "ISBN 0-201-51376-5"
}

@InBook{Frege91,
  Author =	 "Gottlob Frege",
  Title =	 "Collected Papers",
  Chapter =	 "Function and Concept",
  Publisher =	 "Basil Blackwell",
  Year =	 1891,
  Pages =	 "137-156",
  Address =	 "Jena",
  Edition =	 "1984",
  Note =	 "Translated by Peter Geach, edited by Brian
                  McGuinness."
}

@Book{Gabriel02,
  Author =	 "Richard P. Gabriel",
  Title =	 "Writers' Workshops \& the Work of Making Things:
                  Patterns, Poetry...",
  Publisher =	 "Addison-Wesley Publishing Co.",
  Year =	 2002,
  Address =	 "Boston, MA",
  Annote =	 "0-201-72183-X",
  Note =	 "Library of Congress number QA76.76.D47 G34 2002"
}

@Book{Gardner91,
  Author =	 "James Gardner",
  Title =	 "Learning Unix",
  Publisher =	 "SAMS",
  Year =	 1991,
  Address =	 "Carmel, Indiana",
  Note =	 "Includes disk of MKS tools."
}

@Book{Garey-Jhonson79,
  author =	 "Michael R. Garey and David S. Jhonson",
  title =	 "Computers and Intractability",
  publisher =	 "W.H. Freeman and Co.",
  year =	 1979,
  address =	 "San Francisco"
}

@Book{Gaylord-Kamin-Wellin93,
  Author =	 "Richard J. Gaylord and Samuel N. Kamin and Paul
                  R. Wellin",
  Title =	 "Introduction to Programming with {Mathematica}",
  Publisher =	 SV,
  Year =	 1993,
  Series =	 "The Electronic Library of Science",
  Address =	 NY
}

@InCollection{Gibbons93,
  Author =	 "Jeremy Gibbons",
  Title =	 "Upwards and Downwards Accumulations on Trees",
  BookTitle =	 "Mathematics of Program Construction, Second
                  International Conference, Oxford, U.K.",
  Publisher =	 SV,
  Year =	 1993,
  Editor =	 "R.S. Bird and C.C. Morgan and J.C.P. Woodcock",
  Series =	 LNCS,
  Volume =	 669,
  Pages =	 "122-138",
  Address =	 NY,
  Month =	 "June/July",
  Annote =	 "15 references."
}

@Article{Goldberg91,
  Author =	 "David Goldberg",
  Title =	 "What Every Computer Scientist Should Know About
                  Floating-Point Arithmetic",
  Journal =	 ACMCS,
  Year =	 1991,
  Volume =	 23,
  Number =	 1,
  Month =	 mar,
  Pages =	 "5-48",
  Annote =	 "32 references."
}

@Book{Goldblatt84,
  Author =	 "R. Goldblatt",
  Title =	 "Topoi: The Categorical Analysis of Logic (Revised
                  Edition)",
  Publisher =	 "North-Holland",
  Address =	 NY,
  Year =	 1984,
  Series =	 "Studies in Logic and the Foundations of Mathematics",
  Volume =	 98,
  Annotation =	 "ISBN 0-444-86711-2. This book defines Logic using
                  Category Theory as a basis. The real value of this
                  book is that its first 5 chapters are the most
                  readable introduction to category theory that this
                  reader has encountered."
}

@Article{Gopen-Swan90,
  Author =	 "George D. Gopen and Judith A. Swan",
  Title =	 "The Science of Scientific Writing",
  Journal =	 "American Scientist",
  Year =	 1990,
  Volume =	 78,
  Month =	 "November-December",
  Pages =	 "550-558",
  Annote =	 "First part of sentence provides context, last part
                  is emphasis. 4 references."
}

@Book{Gould81,
  Author =	 "Stephen Jay Gould",
  Title =	 "The Mismeasure of Man",
  Publisher =	 "Norton",
  Year =	 1981,
  Address =	 NY
}

@Book{Gratzer79,
  Author =	 {George Gratzer},
  Title =	 "Universal Algebra",
  Publisher =	 SV,
  Address =	 NY,
  Year =	 1979,
  Edition =	 "second",
  Annote =	 "Thousands of references."
}

@Book{Gregory71,
  author = 	 {Malcom S. Gregory},
  title = 	 {History and Development of Engineering},
  publisher = 	 {Longman},
  year = 	 1971
}

@Article{Gries91,
  Author =	 "David Gries",
  Title =	 "Teaching Calculation and Discrimination: A More
                  Effective Curriculum",
  Journal =	 CACM,
  Year =	 1991,
  Volume =	 34,
  Number =	 3,
  Month =	 mar,
  Pages =	 "44-55",
  Annote =	 "10 references."
}

@TechReport{Grimm-etal01,
  author =	 "Robert Grimm and Janet Davis and Eric Lemar and Adam
                  MacBeth and Steven Swanson and Steven Gribble and
                  Tom Anderson and Brian Bershad and Gaetano Borriello
                  and David Wetherall",
  title =	 "Programming for Pervasive Computing Environments",
  institution =	 "Department of Computer Science and Engineering,
                  University of Washington",
  number =	 "UW-CSE-01-06-01",
  year =	 "June 2001",
}

@Book{Gronlund73,
  Author =	 "Norman E. Gronlund",
  Title =	 "Preparing Criterion-Referenced Tests for Classroom
                  Instruction",
  Publisher =	 "Macmillan Co.",
  Year =	 1973,
  Series =	 "Current Topics in Classroom Instruction",
  Address =	 NY,
  Annote =	 "12 references."
}

@Article{Guzdial-Soloway02,
  author =       "Mark Guzdial and Elliot Soloway",
  title =        "Log on education: Teaching the {Nintendo} generation
                 to program",
  journal =      CACM,
  volume =       "45",
  number =       "4",
  pages =        "17-21",
  month =        apr,
  year =         "2002",
  annote =       "Using multimedia enabled by Squeak Smalltalk.  6 references."
}

@Book{Harel87b,
  Author =	 "David Harel",
  Title =	 "Algorithmics: the spirit of computing",
  Publisher =	 "Addison-Wesley",
  Year =	 1987,
  Address =	 "Reading, Mass."
}

@InCollection{Hartmanis93,
  Author =	 "J. Hartmanis",
  Title =	 "Some Observations about the Nature of Computer
                  Science",
  BookTitle =	 "Foundations of Software Technology and Theorectical
                  Computer Science",
  Publisher =	 SV,
  Year =	 1993,
  Editor =	 "R. K. Shyamasundar",
  Series =	 LNCS,
  Volume =	 761,
  Pages =	 "1-12",
  Month =	 oct,
  Annote =	 "7 references."
}

@Article{Hartmanis95,
  author =	 "Juris Hartmanis",
  title =	 "{Turing} Award Lecture: On Computational Complexity
                  and the Nature of Computer Science",
  journal =	 ACMCS,
  year =	 1995,
  volume =	 27,
  number =	 1,
  pages =	 "7-16",
  month =	 mar,
  annote =	 "16 references."
}

@Article{Hayes84,
  Author =	 "B. Hayes",
  Title =	 "Computer Recreations: On the Ups and Downs of
                  Hailstone Numbers",
  Journal =	 "Scientific American",
  Volume =	 250,
  Number =	 1,
  Month =	 jan,
  Year =	 1984,
  Pages =	 "10-16"
}

@Book{Heijenoort70,
  Author =	 "Jean van Heijenoort",
  Title =	 {Frege and G\"{o}del: Two Fundamental Texts in
                  Mathematical Logic},
  Publisher =	 "Harvard University Press",
  Address =	 "Cambridge, Mass.",
  Year =	 1970,
  Annote =	 {Contains Frege's Begriffsschrift (1879) and
                  G\"{o}del's incompleteness paper (1931).}
}

@Manual{Heller90,
  Author =	 "Dan Heller",
  Title =	 "XView Programming Manual",
  Edition =	 2,
  Month =	 jul,
  Year =	 1990,
  Address =	 "Sebastopol, CA",
  Note =	 "Volume 7 in a series; for version 11 of the X Window
                  System",
  Annote =	 "0 references."
}

@Book{Hennessy-Patterson90,
  Author =	 "John L. Hennessy and David A. Patterson",
  Title =	 "Computer Architecture A Quantative Approach",
  Publisher =	 "Morgan Kaufman",
  Year =	 1990,
  Address =	 "San Mateo, California",
  Annote =	 "Hundreds of references."
}

@inproceedings{Hicks-etal06,
 author = {Boniface Hicks and Dave King and Patrick McDaniel and Michael Hicks},
 title = {Trusted Declassification:: High-level Policy for a Security-typed Language},
 booktitle = {Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security},
 series = {PLAS '06},
 year = {2006},
 isbn = {1-59593-374-3},
 location = {Ottawa, Ontario, Canada},
 pages = {65--74},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1134744.1134757},
 doi = {10.1145/1134744.1134757},
 acmid = {1134757},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {noninterference modolo trusted methods, FJifP, Jif, declassification, information-flow control, security policy, security-typed languages, trusted declassification},
 annote = {Declassification via declared (abstraction) functions. 20 references.}
} 


@INPROCEEDINGS{Hightower-Brumitt-Borriello02,
  author =	 "Jeffrey Hightower and Barry Brumitt and Gaetano
                  Borriello",
  title =	 "The Location Stack: A Layered Model for Location in
                  Ubiquitous Computing",
  booktitle =	 "Proceedings of the 4th IEEE Workshop on Mobile
                  Computing Systems \& Applications (WMCSA 2002)",
  publisher =	 "IEEE Computer Society Press",
  address =	 "Callicoon, NY",
  pages =	 "22-28",
  month =	 "June",
  year =	 {2002}
}

@InProceedings{Hill87,
  Author =	 "Walter L. Hill",
  Title =	 "Machine Learning for Software Reuse",
  BookTitle =	 "Proceedings of the Tenth International Joint
                  Conference on Artifical Intelligence, Milan, Italy",
  Month =	 aug,
  Year =	 1987,
  Note =	 "Also Hewlett-Packard Laboratories, Software
                  Technology Laboratory, STL-87-01, April, 1987",
  Annote =	 "18 references."
}

@Book{Hindley-Lercher-Seldin72,
  Author =	 "J. R. Hindley and B. Lercher and J. P. Seldin",
  Title =	 "Introduction to Combinatory Logic",
  Series =	 "London Mathematical Society Lecture Note Series",
  Volume =	 7,
  Year =	 1972,
  Publisher =	 "Cambridge University Press",
  Address =	 NY,
  Annote =	 "Includes material on the lambda calculus. 53
                  references."
}

@InCollection{Hoare89,
  Author =	 "C. A. R. Hoare",
  Title =	 "Notes on an Approach to Category Theory for Computer
                  Scientists",
  Booktitle =	 "Constructive Methods in Computing Science",
  Series =	 "NATO ASI Series",
  Volume =	 "F55",
  Editor =	 "Manfred Broy",
  Publisher =	 SV,
  Address =	 NY,
  Pages =	 "245-305",
  Year =	 1989,
  Annote =	 "Example-based approach to introducing category
                  theory."
}

@InBook{Hoc-Nguyen-Xuan90,
  Author =	 "Jean-Michel Hoc and Anh Nguyen-Xuan",
  Title =	 "Language Semantics, Mental Models and Analogy",
  BookTitle =	 "Psychology of Programming",
  Chapter =	 "2.3",
  Pages =	 "139-156",
  Year =	 1990,
  Publisher =	 "Academic Press",
  Annote =	 "51 references"
}

@Book{Hodges83,
  Author =	 "Andrew Hodges",
  Title =	 "Alan Turing: the enigma",
  Year =	 1983,
  Publisher =	 "Burnett Books",
  Address =	 "London",
  Annote =	 "QA29.T8 H63 1983b"
}

@Book{Hofstadter79,
  Author =	 "Douglas R. Hofstadter",
  Title =	 {G\"{o}del, Escher, Bach : an Eternal Golden Braid},
  Publisher =	 "Basic Books",
  Year =	 1979,
  Address =	 NY
}

@Book{Hofstadter85,
  Author =	 "Douglas R. Hofstadter",
  Title =	 "Metamagical Themas: Questing for the Essence of Mind
                  and Pattern",
  Publisher =	 "Basic Books, Inc.",
  Address =	 NY,
  Year =	 1985
}

@Book{Horowitz-Sahni78,
  Author =	 "Ellis Horowitz and Sartaj Sahni",
  Title =	 "Fundamentals of Computer Algorithms",
  Publisher =	 "Computer Science Press, Inc.",
  Year =	 1978,
  Series =	 "Computer Software Engineering Series",
  Address =	 "Potomac, Maryland"
}

@Book{Horowitz-Sahni76,
  Author =	 "Ellis Horowitz and Sartaj Sahni",
  Title =	 "Fundamentals of Data Structures",
  Publisher =	 "Computer Science Press, Inc.",
  Year =	 1976,
  Series =	 "Computer Software Engineering Series",
  Address =	 "Woodland Hills, California"
}

@article{Huttel01,
  title={On {Rice’s} Theorem},
  author={Hans Huttel},
  journal={Aalborg University},
  year=2001,
  URL = {http://people.cs.aau.dk/~srba/courses/CC-08/rice-uk.pdf}
}

@Book{IEEE754,
  author =	"{IEEE Standards Committee 754}",
  title =	"{IEEE} Standard for binary floating-point arithmetic,
		 {ANSI}/{IEEE} {Standard} 754-1985",
  year = 	"1985",
  publisher =	"Institute of Electrical and Electronics Engineers, New
		 York",
  note = 	"Reprinted in ACM SIGPLAN Notices, 22(2):9-25, 1987."
}

@Article{Immerman87a,
  Author =	 "Neil Immerman",
  Title =	 "Languages that Capture Complexity Classes",
  Journal =	 SIAMJC,
  Volume =	 16,
  Number =	 4,
  Month =	 aug,
  Year =	 1987,
  Pages =	 "760-778",
  Annote =	 "Logical expressive power. 30 references."
}

@InProceedings{Immerman87b,
  Author =	 "Neil Immerman",
  Title =	 "Expressibility as a Complexity Measure: Results and
                  Directions",
  Organization = IEEE,
  BookTitle =	 "FOCS '87 (?)",
  Year =	 1987,
  Pages =	 "194-202"
}

@Book{Impagliazzo-Nagin95,
  author =	 "John Impagliazzo and Paul Nagin",
  title =	 "Computer Science: A Breadth-First Approach with {C}",
  publisher =	 "John Wiley \& Sons",
  year =	 1995,
  address =	 NY
}

@Book{Ishikawa76,
  Author =	 "Karou Ishikawa",
  Title =	 "Guide to Quality Control",
  Publisher =	 "Asian Productivity Organization",
  Year =	 1976,
  Series =	 "Indurstrial Engineering and Technology",
  Annote =	 "13 references"
}

@Book{James88,
  Author =	 "Geoffrey James",
  Title =	 "The Zen of Programming",
  Publisher =	 "Info Books",
  Year =	 1988,
  Address =	 "P. O. Box 1018, Santa Monica, CA"
}

@Book{Jeffrey67,
  Author =	 "Richard C. Jeffrey",
  Title =	 "Formal Logic: Its Scope and Limits",
  Publisher =	 McGraw-Hill,
  Address =	 NY,
  Year =	 1967,
  Annote =	 "Undergraduate text. 36 references."
}

@Book{Johnson90,
  Author =	 "Glenn Ross Johnson",
  Title =	 "First Steps to Excellence in College Teaching",
  Publisher =	 "Magna Publications, Inc.",
  Year =	 1990,
  Address =	 "2718 Dryden Dr., Madison, Wisc."
}

@Book{Kidder81,
  Author =	 "Tracy Kidder",
  Title =	 "The soul of a new machine",
  Publisher =	 "Little, Brown",
  Year =	 1981,
  Address =	 "Boston"
}

@Book{King92,
  Author =	 "Jerry P. King",
  Title =	 "The Art of Mathematics",
  Publisher =	 "Plenum Press",
  Year =	 1992,
  Address =	 NY,
  Annote =	 "155 references"
}

@Book{Knuth-Larrabee-Roberts89,
  Author =	 "Donald E. Knuth and Tracy Larrabee and Paul
                  M. Roberts",
  Title =	 "Mathematical Writing",
  Publisher =	 "The Mathematical Association of America",
  Year =	 1989,
  Volume =	 "14",
  Series =	 "MAA Notes"
}

@Book{Knuth69,
  Author =	 "Donald E. Knuth",
  Title =	 "Seminumerical Algorithms",
  Series =	 "The Art of Computer Programming",
  Volume =	 2,
  Publisher =	 Addison-Wesley,
  Address =	 "Reading, Mass.",
  Year =	 1969,
  Annote =	 "Hundreds of references."
}

@Book{Knuth74a,
  Author =	 "Donald E. Knuth",
  Title =	 "Surreal Numbers",
  Publisher =	 "Addison-Wesley",
  Address =	 "Reading, Mass.",
  Year =	 1974,
  Annote =	 "No references."
}

@Book{Knuth93,
  Author =	 "Donald E. Knuth",
  Title =	 "The Stanford GraphBase: A platform for Combinatorial
                  Computing",
  Publisher =	 "Addison-Wesley",
  Address =	 "Reading, Mass.",
  Year =	 1993,
  Annote =	 "32 references."
}

@Book{Korfhage66,
  Author =	 "Robert F. Korfhage",
  Title =	 "Logic and Algorithms",
  Publisher =	 Wiley,
  Address =	 NY,
  Year =	 1966
}

@book{Koza94,
 author = {John R. Koza},
 title = {Genetic Programming II: Automatic Discovery of Reusable Programs},
 year = {1994},
 isbn = {0-262-11189-6},
 publisher = MITP,
 address = {Cambridge, Mass.},
} 

@Article{Koza94a,
  author = 	 {John R. Koza},
  title = 	 {Genetic programming as a means for programming computers by natural selection},
  journal = 	 {Statistics and Computing},
  year = 	 1994,
  volume = 	 4,
  pages = 	 {87-112}
}

@Book{Lacey90,
  Author =	 "Julia Lacey",
  Title =	 "How to Survive your Computer Workstation",
  Publisher =	 "CRT Services, Inc.",
  Year =	 1990,
  Address =	 "P.O. Box 420127, Laredo, Texas 78042, (800)256-4379"
}

@Article{Lagarias85,
  Author =	 "J. C. Lagarias",
  Title =	 "The 3x+1 Problem and its Generalizations",
  Journal =	 "The American Mathematical Monthly",
  Volume =	 92,
  Number =	 1,
  Month =	 jan,
  Year =	 1985,
  Pages =	 "3-23"
}

@Book{Lambek-Scott86,
  Author =	 "J. Lambek and P. J. Scott",
  Title =	 "Introduction to higher order categorical logic",
  Series =	 "Cambridge Studies in Advanced Mathematics",
  Volume =	 7,
  Year =	 1986,
  Publisher =	 "Cambridge University Press",
  Address =	 NY,
  Annote =	 "Cartesian Closed Categories and the lambda calculus,
                  type theory and toposes. Hundreds of references."
}

@TechReport{Lamport93a,
  Author =	 "Leslie Lamport",
  Title =	 "How to Write a Proof",
  Institution =	 DECSRC,
  Number =	 94,
  Year =	 1993,
  Annote =	 "95 references."
}

@Book{Lamport94a,
  author =	 {Leslie Lamport},
  title =	 {LaTeX: A Document Preparation System, User's Guide
                  and Reference Manual},
  publisher =	 {Addison-Wesley},
  year =	 1994,
  address =	 {New York, NY},
  edition =	 {second},
  annote =	 {8 references.}
}

@InCollection{Lassez-Maher-Marriott88,
  Author =	 "J.-L. Lassez and M. J. Maher and K. Marriott",
  Title =	 "Unification Revisited",
  BookTitle =	 "Foundations of Logic and Functional Programming,
                  Workshop Proceedings, Trento, Italy, (Dec. 1986)",
  Editor =	 "M. Boscarol and L Carlucci Aiello and G Levi",
  Series =	 LNCS,
  Publisher =    SV,
  Volume =	 306,
  Pages =	 "67-113",
  Year =	 1988,
  Annote =	 "28 references."
}

@Book{Latterell05,
  author =	 {Carmen M. Latterell},
  title = 	 {Math Wars: A Guide for Parents and Teachers},
  publisher = 	 {Praeger},
  year = 	 2005,
  address =	 {Westport, Connecticut}
}

@Book{Lawvere-Schanuel91,
  Author =	 "F. W. Lawvere and Stephen H. Schanuel",
  Title =	 "Conceptual Mathematics: a first introduction to
                  categories",
  Publisher =	 "Buffalo Workshop Press",
  Year =	 1991,
  Address =	 "Buffalo, NY",
  Annote =	 "347pp, ISBN 0-9631805-0-9"
}

@Book{Leach93,
  Author =	 "George W. Leach",
  Title =	 "UNIX, Self-teaching Guide",
  Publisher =	 "John Wiley & Sons",
  Year =	 1993,
  Address =	 NY,
  Annote =	 "25 references."
}

@Article{Leavens-Vermeulen92,
  Author =	 "Gary T. Leavens and Mike Vermeulen",
  Title =	 "$3x+1$ Search Programs",
  Journal =	 "Computers and Mathematics with Applications",
  Month =	 dec,
  Year =	 1992,
  Volume =	 24,
  Number =	 11,
  Pages =	 "79-99",
  Annote =	 "11 references.",
  URL = {http://dx.doi.org/10.1016/0898-1221(92)90034-F}
}

@Article{Leavens-etal98,
  Author =	 "Gary T. Leavens and Albert L. Baker and Vasant
                  Honavar and Steven Lavalle and Gurpur Prabhu",
  Title =	 "Programming is Writing: Why Student Programs must be
                  Carefully Evaluated",
  Journal =	 "Mathematics and Computer Education",
  Institution =	 "Iowa State University, Department of Computer
                  Science",
  Year =	 1998,
  Volume =	 32,
  Number =	 3,
  Pages =	 "284-295",
  Month =	 "Fall",
  URL =
                  "ftp://ftp.cs.iastate.edu/pub/techreports/TR97-23/TR.ps.gz"
}

@TechReport{Leavens-etal98a,
  Author =	 "Gary T. Leavens and Albert L. Baker and Vasant
                  Honavar and Steven Lavalle and Gurpur Prabhu",
  Title =	 "Programming is Writing: Why Student Programs must be
                  Carefully Read",
  Institution =	 "Iowa State University, Department of Computer
                  Science",
  Year =	 1998,
  Number =	 "97-23a",
  Month =	 jun,
  URL =
                  "ftp://ftp.cs.iastate.edu/pub/techreports/TR97-23/TR.ps.gz"
}

@TechReport{Leavens94b,
  Author =	 "Gary T. Leavens",
  Title =	 "Fields in Physics are like Curried Functions or
                  Physics for Functional Programmers",
  Institution =	 "Department of Computer Science, Iowa State
                  University",
  Address =	 "Ames, Iowa, 50011",
  Number =	 "94-06b",
  Year =	 1994,
  Month =	 may,
  URL =
                  "ftp://ftp.cs.iastate.edu/pub/techreports/TR94-06/TR.ps.Z",
  Note =	 "Available by anonymous ftp from ftp.cs.iastate.edu,
                  and by e-mail from almanac@cs.iastate.edu",
  Annote =	 "20 references."
}

@Article{Leavens95,
  author =	 "Gary T. Leavens",
  title =	 "Aiding Self-motivation with Readings in Introductory
                  Computing",
  journal =	 "Mathematics and Computer Education",
  year =	 1995,
  volume =	 29,
  number =	 2,
  pages =	 "124-133",
  month =	 "Spring",
  annote =	 "40 references"
}

@TechReport{Leavens95b,
  author =	 "Gary T. Leavens",
  title =	 "A Physical Example for Teaching Curried Functions",
  institution =	 "Department of Computer Science, Iowa State
                  University",
  year =	 1995,
  number =	 "95-05",
  address =	 "Ames, Iowa, 50011",
  month =	 mar,
  note =	 "Appears in {\it Mathematics and Computer Education},
                  volume 30, number 1, pages 51-60. Available by
                  anonymous ftp from ftp.cs.iastate.edu, and by e-mail
                  from almanac@cs.iastate.edu"
}

@Article{Leavens96a,
  author =	 "Gary T. Leavens",
  title =	 "A Physical Example for Teaching Curried Functions",
  journal =	 "Mathematics and Computer Education",
  year =	 1996,
  volume =	 30,
  number =	 1,
  pages =	 "51-60",
  month =	 "Winter",
  annote =	 "15 references"
}

@Book{Lederer91,
  Author =	 "Richard Lederer",
  Title =	 "The Miracle of Language",
  Publisher =	 "Pocket Books",
  Year =	 1991
}

@InProceedings{Leivant87,
  Author =	 "Daniel Leivant",
  Title =	 "Characterization of Complexity Classes in
                  Higher-Order Logic",
  Organization = IEEE,
  BookTitle =	 "FOCS '87 (?)",
  Year =	 1987,
  Pages =	 "203-217"
}

@Book{Lessing86,
  author =	 "Doris Lessing",
  title =	 "Prisons We Choose to Live Inside",
  publisher =	 "CBC Enterprises",
  year =	 1986,
  volume =	 24,
  series =	 "Massey Lectures",
  address =	 "Toronto, Ontario, Canada"
}

@TechReport{Levin74,
  Author =	 "Michael Levin",
  Title =	 "Mathematical Logic for Computer Scientists",
  Institution =	 MITLCS,
  Year =	 1974,
  Number =	 "MIT/LCS/TR-131",
  Annote =	 "27 references."
}

@Book{Levy92,
  Author =	 "Steven Levy",
  Title =	 "Artificial Life: the quest for a new creation",
  Publisher =	 "Random House Inc",
  Year =	 1992,
  Address =	 NY,
  Annote =	 "\$25, ISBN 0-679-40774-x"
}

@Article{Linn-Clancy92,
  Author =	 "Marcia C. Linn and Michael J. Clancy",
  Title =	 "The Case for Case Studies of Programming Problems",
  Journal =	 CACM,
  Year =	 1992,
  Volume =	 35,
  Number =	 3,
  Month =	 mar,
  Pages =	 "121-132",
  Annote =	 "Relevant for teaching programming. 33 references."
}

@InCollection{Linton-Calder93,
  Author =	 "Mark A. Linton and Paul R. Calder",
  Title =	 "The Design and Implementation of InterViews",
  BookTitle =	 "The Evolution of C++",
  Publisher =	 "The MIT Press",
  Year =	 1993,
  Editor =	 "Jim Waldo",
  Pages =	 "75-86",
  Address =	 "Cambridge, Mass.",
  Annote =	 "5 references."
}

@Book{Lucky89,
  Author =	 "R. W. Lucky",
  Title =	 "Silicon dreams : information, man, and machine",
  Publisher =	 "St. Martin's Press",
  Year =	 1989,
  Address =	 NY
}

@Book{MacLane71,
  Author =	 "Saunders Mac Lane",
  Title =	 "Categories for the Working Mathematician",
  Publisher =	 SV,
  Address =	 NY,
  Series =	 "Graduate Texts in Mathematics",
  Volume =	 5,
  Year =	 1971,
  Annote =	 "Standard reference on category theory. Many
                  references."
}

@Book{Manis-Little95,
  author =	 "Vincent S. Manis and James J. Little",
  title =	 "The Schematics of Computation",
  publisher =	 "Prentice-Hall, Inc.",
  year =	 1995,
  address =	 "Englewood Cliffs, NJ",
  annote =	 "Introductory programming using Scheme. 58
                  references."
}

@Book{Marinescu-Marinescu12,
  author = 	 {Dan C. Marinescu and Gabriela M. Marinescu},
  title = 	 {Classical and Quantum Information},
  publisher = 	 {Elsevier},
  year = 	 2012,
  annote = 	 {475 references.}
}

@Book{Mason82,
  Author =	 "John Mason",
  Title =	 "Thinking Mathematically",
  Publisher =	 "Addison-Wesley Pub. Co.",
  Year =	 1982,
  Address =	 "Reading, Mass."
}

@article{Mathur-Madhusudan-Viswanathan19,
author = {Umang Mathur and P. Madhusudan and Mahesh Viswanathan},
title = {Decidable Verification of Uninterpreted Programs},
year = {2019},
issue_date = {January 2019},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {3},
number = {POPL},
url = {https://doi.org/10.1145/3290359},
doi = {10.1145/3290359},
abstract = {We study the problem of completely automatically verifying uninterpreted programs—programs that work over arbitrary data models that provide an interpretation for the constants, functions and relations the program uses. The verification problem asks whether a given program satisfies a postcondition written using quantifier-free formulas with equality on the final state, with no loop invariants, contracts, etc. being provided. We show that this problem is undecidable in general. The main contribution of this paper is a subclass of programs, called coherent programs that admits decidable verification, and can be decided in Pspace. We then extend this class of programs to classes of programs that are k-coherent, where k ∈ ℕ, obtained by (automatically) adding k ghost variables and assignments that make them coherent. We also extend the decidability result to programs with recursive function calls and prove several undecidability results that show why our restrictions to obtain decidability seem necessary.},
journal = {Proc. ACM Program. Lang.},
month = {jan},
articleno = {46},
numpages = {29},
keywords = {Coherence, Streaming Congruence Closure, Uninterpreted Programs, Decidability, Program Verification}
}

@Article{Maxwell64,
  Author =	 "James Clerk Maxwell",
  Title =	 "A Dynamical Theory of the Electromagnetic Field",
  Journal =	 "Royal Society Transactions",
  Year =	 1864,
  Volume =	 "CLV",
  Note =	 "Reprinted in R. A. R. Tricker, {\em The
                  Contributions of Faraday and Maxwell to Electrical
                  Science}, (Pergamon Press, 1966)."
}

@Book{Maxwell90,
  Author =	 "James Clerk Maxwell",
  Title =	 "The Scientific Papers of James Clerk Maxwell",
  Publisher =	 "Cambridge",
  Year =	 1890,
  Address =	 "Cambridge, UK",
  Note =	 "As quoted in W. Berkson, {\em Fields of Force: The
                  Development of a World View from Faraday to
                  Einstein\/} (Wiley, 1974)."
}

@Article{McAllester02,
  author = 	 {David McAllester},
  title = 	 {On the Complexity of Static Analysis},
  journal = 	 JACM,
  year = 	 2002,
  volume = 	 49,
  number = 	 4,
  pages = 	 {512-537},
  month = 	 jul,
  URL =          {http://dx.doi.org/10.1145/581771.581774},
  annote = 	 {40 references.}
}

@Book{McLarty96,
  author =	 "Colin McLarty",
  title =	 "Elementary Categories, Elementary Toposes",
  publisher =	 "Oxford University Press",
  year =	 "1991",
  volume =	 "21",
  series =	 "Oxford Logic Guides",
}

@InProceedings{Meseguer89b,
  Author =	 "Jos\'{e} Meseguer",
  Title =	 "General Logics",
  BookTitle =	 "Locic Colloquium '87",
  Publisher =	 North-Holland,
  Editor =	 "H.-D. Ebbinghaus and others",
  Year =	 1989
}

@Book{Model94,
  author =	 "Mitchell L. Model",
  title =	 "Data Structures, Data Abstraction: A Contemporary
                  Introduction Using C++",
  publisher =	 "Prentice Hall, Inc.",
  year =	 1994,
  address =	 "Englewood Cliffs, NJ",
  annote =	 "21 references."
}

@Book{Mollenhoff88,
  Author =	 "Clark R. Mollenhoff",
  Title =	 "Atanasoff: forgotten father of the computer",
  Publisher =	 "Iowa State University Press",
  Year =	 1988
}

@Misc{Murry-Hopper83,
  Title =	 "The Captain is a Lady",
  Publisher =	 "Carousel Films",
  Year =	 1983,
  Address =	 "New York, NY",
  Annote =	 "Video about Grace Murry Hopper Vide 000 857"
}

@Book{Neff-Weimer90,
  Author =	 "Rose Ann Neff and Maryellen Weimer",
  Title =	 "Teaching College: Collected Readings for the New
                  Instructor",
  Publisher =	 "Magna Publications, Inc.",
  Year =	 1990,
  Address =	 "2718 Dryden Dr., Madison, Wisc."
}

@Book{Nerode-Shore93,
  Author =	 "Anil Nerode and Richard A. Shore",
  Title =	 "Logic for Applications",
  Publisher =	 SV,
  Year =	 1993,
  Address =	 NY,
  Annote =	 "25 pages of Bibliography- 100's of references"
}

@Book{Newton87,
  Author =	 "Isaac Newton",
  Title =	 "Mathematical Principles of Natural Philosophy",
  Publisher =	 "Encyclopaedia Britannica, Inc.",
  Year =	 1687,
  Volume =	 34,
  Series =	 "Great Books",
  Address =	 "Chicago, Illinois",
  Note =	 "Translated by Andrew Motte, Revised by Florian
                  Cajori."
}

@InProceedings{Nilzadeh-etal17,
  author = 	 {Amirfarhad Nilzadeh and Wojciech Mazurczyk and Cliff Zou and Gary T. Leavens},
  title = 	 {Information Hiding in {RGB} Images Using an Improved Matrix Pattern Approach},
  booktitle = {The First International Workshop on The Bright and Dark Sides of Computer Vision: Challenges and Opportunities for Privacy and Security (CV-COPS 2017)},
  year = 	 2017,
  month = 	 jul,
  publisher =    IEEE,
  annote =       {34 references.},
  URL={\url{http://openaccess.thecvf.com/content_cvpr_2017_workshops/w16/papers/Leavens_Information_Hiding_in_CVPR_2017_paper.pdf}}
}

@article{Nilizadeh-etal22,
  author={Amirfarhad Nilizadeh and Shirin Nilizadeh and Wojciech Mazurczyk and Cliff Zou and Gary T. Leavens},
  title={Adaptive Matrix Pattern Steganography on {RGB} Images},
  journal={Journal of Cyber Security and Mobility},
  year=2022,
  volume=11,
  number=1,
  pages={1-28},
  publisher=Elsevier,
  annote="83 references."
}

@Book{Norvig91,
  author =	 {Peter Norvig},
  title = 	 {Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp},
  publisher = 	 {Morgan Kaufmann},
  year = 	 1991,
}

@Manual{Nufer92,
  Title =	 "A Handbook for Student Management Teams",
  Author =	 "Edward B. Nufer",
  Organization = "Teaching Excellence Center University of Wisconsin
                  at Platteville",
  Address =	 "101 Warner Hall, Platteville, WI 53818",
  Month =	 jul,
  Year =	 1992
}

@InCollection{Palasinska-Pigozzi01,
  author =	 {K. Pa{\l}asi\'{n}ska and Don Pigozzi},
  title =	 {Bikraty a programowanie logiczne oparte na wiedzy},
  booktitle =	 {Granice Sztucznej Inteligencji.},
  pages =	 {179--211},
  publisher =	 {Politechnika Krakowska, Wydawnictwo Naukowe DWN,
                  Krak\'{o}w},
  year =	 2001,
  editor =	 {E. Szumakowicza},
}

@Book{Papert80,
  Author =	 "Seymour Papert",
  Title =	 "Mindstorms : children, computers, and powerful
                  ideas",
  Publisher =	 "Basic Books",
  Year =	 1980,
  Address =	 NY
}

@Article{Parnas90,
  Author =	 "David Lorge Parnas",
  Title =	 "Education for Computing Professionals",
  Journal =	 "Computer",
  Year =	 1990,
  Volume =	 23,
  Number =	 1,
  Month =	 jan,
  Pages =	 "17-22",
  Annote =	 "no references."
}

@Article{Patterson-Snyder-Ullman99,
  author = 	 {D. Patterson and L. Snyder and J. Ullman},
  title = 	 {Evaluating computer scientists and engineers for promotion and tenure},
  journal = 	 {Computing Research News},
  year = 	 1999,
  month =	 sep,
  URL =          {\url{http://www.cra.org/reports/tenure_review.pdf}}
}

@Book{Paulos91,
  Author =	 "John Allen Paulos",
  Title =	 "Beyond Numeracy: Ruminations of a Number Man",
  Publisher =	 "Alfred A. Knopf, Inc.",
  Address =	 NY,
  Year =	 1991
}

@Book{Pesic03,
  author =	 {Peter Pesic},
  title = 	 {Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability},
  publisher = 	 MITP,
  year = 	 2003
}

@Book{Petroski94,
  author = 	 {Henry Petroski},
  title = 	 {Design Paradigms: Case Histories of Error and Judgment in Engineering},
  publisher = 	 {Cambridge},
  year = 	 1994,
  address = 	 {Cambridge, UK},
  annote = 	 {Hundreds of references.}
}

@Article{Philipose-etal04,
author = "Matthai Philipose and Kenneth P. Fishkin and Mike Perkowitz and Donald J Patterson and Dieter Fox and Henry Kautz and Dirk Hahnel",
title={{I}nferring {A}ctivities from {I}nteractions with {O}bjects} ,
journal = {Pervasive Computing Magazine} ,
year = 2004,
publisher = {IEEE} ,
volume = 3 ,
number = 4 ,
pages = "10-17",
}

@Book{Pickover90,
  Author =	 "Clifford A. Pickover",
  Title =	 "Computers, Pattern, Chaos and Beauty",
  Publisher =	 "St. Martin's Press",
  Year =	 1990,
  Annote =	 "Hundreds of references, categorized."
}

@Book{Pickover91,
  Author =	 "Clifford A. Pickover",
  Title =	 "Computers and the imagination: visual adventures
                  beyond the edge",
  Publisher =	 "St. Martin's Press",
  Year =	 1991
}

@TechReport{Pierce88,
  Author =	 "Benjamin C. Pierce",
  Title =	 "A Taste of Category Theory for Computer Scientists",
  Institution =	 "Computer Science Dept, Carnegie Mellon University",
  Address =	 "Pittsburgh",
  Number =	 "CMU-CS-88-203",
  Year =	 1988,
  Annote =	 "Good introduction."
}

@Book{Pierce91,
  Title =	 "Basic Category Theory for Computer Scientists",
  Author =	 "Benjamin C. Pierce",
  Publisher =	 MITP,
  Year =	 1991,
  Address =	 "Cambridge, Mass",
  Annote =	 "121 references"
}
                  
@article{Pike-etal95,
  author    = {Rob Pike and David L. Presotto and Sean Dorward and Bob Flandrena and
               Ken Thompson and Howard Trickey and Phil Winterbottom},
  title     = {{Plan 9 from Bell Labs}},
  journal   = ACMCS,
  volume    = 8,
  number    = 2,
  year      = 1995,
  pages     = {221-254}
}

@Article{Pigozzi-Font-Jansana01,
  author =	 {Don Pigozzi and J.M. Font and R. Jansana},
  title =	 {Fully adequate Gentzen systems and the deduction
                  theorem},
  journal =	 {Reports on Mathematical Logic},
  year =	 2001,
  volume =	 35,
  pages =	 {115--165}
}

@Article{Pigozzi-Font-Jansana03,
  author =	 {Don Pigozzi and J.M. Font and R. Jansana},
  title =	 {Abstract Algebraic Logic II},
  journal =	 {Studia Logica},
  year =	 2003,
  note =	 {Special issue devoted to the proceedings of the {\bf
                  Workshop on Abstract Algebraic Logic}, held at the
                  {\it Centre de Recerca Matema\`{a}tica}, Bellaterra
                  (Barcelona, Spain), 1--5 July 1997}
}

@InCollection{Pigozzi01,
  author =	 {Don Pigozzi},
  title =	 {Abstract Algebraic Logic},
  booktitle =	 {Encyclopedia of Mathematics, Supplement III},
  publisher =	 {Kluwer},
  year =	 2001,
  month =	 dec
}

@Article{Pigozzi76,
  Author =	 "Don Pigozzi",
  Title =	 "The Universality of the Variety of Quasigroups",
  Journal =	 "The Journal of the Australian Mathematical Society",
  Year =	 1976,
  Volume =	 21,
  Number =	 "Series A, part 2",
  Pages =	 "194-219",
  Annote =	 "14 references."
}

@InProceedings{Pigozzi99,
  author =	 {Don Pigozzi},
  title =	 {Abstract Algebraic Logic},
  booktitle =	 {Algebraic Methodology and Software Technology, 7th
                  International Conference, AMAST'98 Amazonia, Brazil},
  pages =	 {8--16},
  year =	 1999,
  editor =	 {A. M. Haeberer},
  volume =	 1548,
  series =	 LNCS,
  address =	 NY
}

@Book{Pilgrim91,
  Author =	 "Aubrey Pilgrim",
  Title =	 "Upgrade Your IBM Compatible and Save a Bundle",
  Publisher =	 "Windcrest Books, McGraw Hill Inc",
  Year =	 1991
}

@Book{Plauger93,
  Author =	 "P. J. Plauger",
  Title =	 "Programming on purpose: essays on software design",
  Publisher =	 "Prentice Hall, Inc",
  Year =	 1993,
  Address =	 "Englewood cliffs, NJ",
  Annote =	 "236 pp, ISBN 0-13-721374-3"
}

@Book{Polya57,
  Author =	 "G. Polya",
  Title =	 "How to Solve It: A New Aspect of Mathematical
                  Method",
  Publisher =	 "Princeton University Press",
  Year =	 1957,
  Series =	 "Princeton Science Library",
  Edition =	 "Second"
}

@Book{Poundstone85,
  Author =	 "William Poundstone",
  Title =	 "The recursive universe : cosmic complexity and the
                  limits of scientific knowledge",
  Publisher =	 "Morrow",
  Year =	 1985,
  Address =	 NY
}

@Misc{Rain,
  organization = "Intel Research, Seattle",
  title =        "{Rain} home page",
  howpublished = "\url{http://seattleweb.intel-research.net/projects/rain}",
  year         = 2004,
}

@Article{Rettig92,
  Author =	 "Marc Rettig",
  Title =	 "Interface Design When You Don't Know How",
  Journal =	 CACM,
  Year =	 1992,
  Volume =	 35,
  Number =	 1,
  Month =	 jan,
  Pages =	 "29-34",
  Annote =	 "Description of process for user interface design. 8
                  references."
}

@Book{Rich08,
  title={Automata, Computability and Complexity: Theory and Applications},
  author={Elaine Rich},
  year={2008},
  publisher={Pearson Prentice Hall},
  address={Upper Saddle River, NJ}
}
                  
@article{Roberts-etal01,
 author = {Eric Roberts and Russ Shackelford and Rich LeBlanc and Peter J. Denning},
 title = {Curriculum 2001: interim report from the ACM/IEEE-CS task force},
 journal = SIGCSE,
 volume = 31,
 number = 1,
 year = {1999},
 issn = {0097-8418},
 pages = {343--344},
 doi = {http://doi.acm.org/10.1145/384266.299802},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@Book{Roberts92,
  Author =	 "Ralph Roberts",
  Title =	 "Unix Desktop Guide to Emacs",
  Publisher =	 "SAMS",
  Year =	 1992,
  Address =	 "Carmel, Indiana"
}

@Book{Robinson92b,
  Author =	 "William S. Robinson",
  Title =	 "Computers, Minds and Robots",
  Year =	 1992,
  Publisher =	 "Temple University Press",
  Address =	 "Philadelphia",
  Annote =	 "Interesting look at the possibility of artificial
                  intelligence. QA76.5 .R497 1992"
}

@Article{Ross92,
  Author =	 "Philip E. Ross",
  Title =	 "New Whoof in Whorf",
  Journal =	 "Scientific American",
  Year =	 1992,
  Month =	 feb,
  Pages =	 "24-26",
  Annote =	 "The Whorf hypothesis, linguistic relativity is
                  discredited; language does not control the mind. But
                  language may influence the mind. Languages are more
                  alike than similar."
}

@Book{Russell-Norvig20,
  title={Artificial Intelligence: A Modern Approach},
  Author={Stuart Russell and Peter Norvig},
  Publisher={Pearson},
  Year=2020,
  Series="Artificial Intelligence",
  Address={London, UK}
}

@Book{Rydeheard-Burstall,
  Author =	 "D. E. Rydeheard and R. M. Burstall",
  Title =	 "Computational Category Theory",
  Publisher =	 "Prentice-Hall",
  Address =	 "New York",
  Year =	 1988,
  Note =	 "ISBN 0-13-162736-8",
  Annotation =	 "Contains an introduction to category theory with
                  emphasis on defining computations in categories."
}

@ARTICLE{Sabelfeld-Myers03,
author={A. Sabelfeld and A. C. Myers}, 
journal={IEEE Journal on Selected Areas in Communications}, 
title={Language-based information-flow security}, 
year={2003}, 
volume={21}, 
number={1}, 
pages={5-19}, 
keywords={computer networks;programming languages;reviews;security of data;telecommunication security;attacker;computing system;confidentiality;covert channels;end-to-end behavior;information-flow policies;language-based information-flow security;programming-language techniques;secret input data;security policies;static program analysis;Access control;Computer security;Concurrent computing;Cryptography;Data security;Information analysis;Information security;Information systems;Military computing;Protection}, 
doi={10.1109/JSAC.2002.806121}, 
ISSN={0733-8716}, 
month={Jan},
annote={Survey with 147 references.}
}

@INPROCEEDINGS{Sabelfeld-Sands05,
author={A. Sabelfeld and D. Sands}, 
booktitle={18th IEEE Computer Security Foundations Workshop (CSFW'05)}, 
title={Dimensions and principles of declassification}, 
year={2005}, 
pages={255-269}, 
keywords={security of data;declassification dimensions;declassification principles;information release mechanism;secret information extraction;sensitive information declassification;Computer science;Credit cards;Data mining;Databases;Information security;Lead;Protocols;Remuneration;Roads;World Wide Web}, 
doi={10.1109/CSFW.2005.15}, 
ISSN={1063-6900}, 
month={June},
annote={Over 50 references.}
}

@Book{Sahni05,
  author =	 {Sartaj Sahni},
  title = 	 {Data Structures, Algorithms, and Applications in Java},
  publisher = 	 {Silicon Press},
  year = 	 2005,
  address =	 {Summit, NJ},
  annote =	 {References in each chapter.}
}

@TechReport{Scaletti89,
  Author =	 "Carla Scaletti",
  Title =	 "Kyma: an Interactive Graphic Environment for
                  Object-Oriented Music Composition and Real-Time
                  Software Sound Synthesis Written in Smalltalk-80",
  Institution =	 "Department of Computer Science, University of
                  Illinois at Urbana-Champaign",
  Number =	 "UIUCDCS-R-89-1498 and UILU-ENG-89-1717",
  Month =	 feb,
  Year =	 1989,
  Annote =	 "27 references."
}

@Unpublished{Scedrov93,
  Author =	 "Andre Scedrov",
  Title =	 "A Brief Guide to Linear Logic",
  Year =	 1993,
  Note =	 "Updated version of an article that originally
                  appeared in the Bulletin of the European Association
                  for Theoretical Computer Science, vol. 41, June,
                  1990, pp. 154-165 in the column ``Logic in Computer
                  Science''. It will appear in {\em Current Trends in
                  Theoretical Computer Science} published by World
                  Scientific and edited by G. Rozenberg.",
  Annote =	 "87 references."
}

@Article{Scheifler-Gettys90,
  Author =	 "R. W. Scheifler and J. Gettys",
  Title =	 "The X Window System",
  Journal =	 SPandE,
  Year =	 1990,
  Volume =	 20,
  Number =	 2,
  Month =	 oct,
  Pages =	 "S2/5-34"
}

@Book{Schneier00,
  author =       "Bruce Schneier",
  title =        "Secrets \& Lies --- Digital Security in a Networked World",
  year =         "2000",
  publisher =    Wiley,
}                 

@Article{Scholtz-Wiedenbeck90,
  author = 	 {Jean Scholtz and Susan Wiedenbeck},
  title = 	 {Learning second and subsequent programming languages: A problem of transfer},
  journal = 	 {International Journal of Human-Computer Interaction},
  year = 	 1990,
  volume = 	 2,
  number = 	 1,
  pages = 	 {51-72},
  annote = 	 {The article reports the result of observing 5 programmers (who knew C and Pascal) learning a new language (Icon) with a very different programming model. The researchers observed the subjects and reported on what they observed. One interesting thing that they noticed was when the programmers consulted documentation. About 40 percent of the times that the programmers consulted documentation was for syntax (29 percent) or semantic (14 percent) issues. However the consultations that took the most time were for "implementation planning". The article says that "The true source of difficulties lies in tactical planning and its interaction with implementation planning." (p. 69)  For them, "tactical planning" is forming a basic design of the program (think pseudo-code) in a language-independent manner and "implementation planning" is figuring out how to code those plans. The problems that the programmers experienced were that their tactical plans were inappropriate for the new language. The conclusion said that programmers did not develop "an overall understanding of the orientation, strengths, and weaknesses of the new language," and tended to make tactical plans that were more appropriate for the old languages that they knew previously. They recommended having critiques of tactical plans to try to improve on such tactical planning.},
         url={https://doi.org/10.1080/10447319009525970},
         doi={10.1080/10447319009525970}
}

@Book{Schoonover-Bowie-Arnold92,
  Author =	 "Michael A. Schoonover and John S. Bowie and William
                  R. Arnold",
  Title =	 "GNU Emacs: Unix Text Editing and Programming",
  Publisher =	 "Addison-Wesley",
  Year =	 1992,
  Series =	 "Hewlett Packard Press Series",
  Address =	 NY
}

@InProceedings{Selinger-etal79,
  author =	"P. G. Selinger and M. M. Astrahan and D. D Chamberlin
		 and R. A. Lorie and T. G. Price",
  title =	"Access Path Selection in a Relational Database
		 Management System",
  booktitle =	"Proceedings of the ACM SIGMOD International Conference
		 on Management of Data",
  year = 	1979,
  pages =	"23-34"
}

@Book{Shasta-Lazere95,
  Author =	 "Dennis Shasta and Cathy Lazere",
  Title =	 "Out of their Minds: The lives and discoveries of 15
                  great computer scientists",
  Publisher =	 SV,
  Year =	 1995,
  Address =	 NY,
}

@Book{Sikorski-Honig12,
  author = 	 {Michael Sikorski and Andrew Honig},
  title = 	 {Practical Malware Analysis: The Hands-On Guide to Dissecting Malicious Software},
  publisher = 	 {No Starch Press},
  year = 	 2012,
  address = 	 {San Francisco}
}

@Article{Smith90c,
  author = 	 {Alan J. Smith},
  title = 	 {The Task of the Referee},
  journal = 	 {IEEE Computer},
  year = 	 1990,
  volume = 	 23,
  number = 	 4,
  pages = 	 {65-71},
  month = 	 {apr}
}

@Book{Smith74,
  Author =	 "Karl J. Smith",
  Title =	 "Introduction to Symbolic Logic",
  Publisher =	 "Brooks/Cole Publishing Co.",
  Year =	 1974,
  Series =	 "Contemporary Undergraduate Mathematics Series",
  Address =	 "Monterey, Calif.",
  Annote =	 "Call number BC135 S62"
}

@Book{Smith92b,
  Author =	 "Joan M. Smith",
  Title =	 "SGML and related standards: document description and
                  processing language",
  Publisher =	 "Ellis Horwood",
  Year =	 1992,
  Series =	 "Ellis Horwood series in Computers and their
                  applications",
  Address =	 "Chichester, UK",
  Annote =	 "ISBN 0-13-806506-3"
}

@Book{Smullyan78,
  Author =	 "Raymond Smullyan",
  Title =	 "What is the name of this book? : The riddle of
                  Dracula and other logical puzzles",
  Publisher =	 "Prentice-Hall",
  Year =	 1978,
  Address =	 "Englewood Cliffs, N.J."
}

@Book{Snepscheut93,
  Author =	 "Jan L.A. Van de Snepscheut",
  Title =	 "What computing is all about",
  Publisher =	 "Spring-Verlag",
  Year =	 1993,
  Address =	 NY,
  Annote =	 "Hundreds of references."
}

@Book{Sobell89,
  Author =	 "Mark G. Sobell",
  Title =	 "A Practical Guide to the Unix System",
  Publisher =	 "Benjamin/Cummings",
  Year =	 1989,
  Address =	 NY,
  Edition =	 2
}

@Book{Sobell91,
  Author =	 "Mark G. Sobell",
  Title =	 "A Practical Guide to UNIX System V",
  Publisher =	 "Benjamin/Cummings",
  Year =	 1991,
  Series =	 "The Benjamin/Cummings Series in Computer Science",
  Address =	 NY,
  Edition =	 2
}

@Article{Soloway93,
  Author =	 "Elliot Soloway",
  Title =	 "Should we teach students to program?",
  Journal =	 "Communications of the ACM",
  Year =	 1993,
  Volume =	 36,
  Number =	 10,
  Month =	 oct,
  Pages =	 "21-24"
}

@Article{Stone92,
  Author =	 "Harold S. Stone",
  Title =	 "Copyrights and Author Responsibilities",
  Journal =	 "Computer",
  Year =	 1992,
  Volume =	 25,
  Number =	 12,
  Month =	 dec,
  Pages =	 "46-51",
  Annote =	 "5 references."
}

@Book{Sutcliffe88,
  Author =	 "Alistair Sutcliffe",
  Title =	 "Human-computer interface design",
  Publisher =	 "Macmillan Education",
  Year =	 1988,
  Address =	 "Basingstoke",
  Note =	 "Call Number: QA76.76.H85 S88 1988b"
}

@Book{Tanimoto87,
  Author =	 "Steven L. Tanimoto",
  Title =	 "The Elements of Artificial Inteligence: An
                  Introduction Using LISP",
  Publisher =	 "Computer Science Press Inc",
  Address =	 "RockVille, MaryLand 20850",
  Year =	 1987,
  Annote =	 "References at the end of each chapter. Collectively
                  Approx 200 references"
}

@TechReport{Taylor88,
  Author =	 "Paul Taylor",
  Title =	 "Using Constructions as a MetaLanguage",
  Institution =	 "Laboratory for Foundations of Computer Science,
                  Department of Computer Science, University of
                  Edinburgh",
  Address =	 "Edinburgh, EH9 3JZ",
  Number =	 "ECS-LFCS-88-70 (also CSR-285-88)",
  Month =	 dec,
  Year =	 1988,
  Annote =	 "15 references."
}

@Book{Taylor92a,
  Author =	 "Walter F. Taylor",
  Title =	 "The Geometry of Computer Graphics",
  Publisher =	 "Wadsworth and Brooks/Cole",
  Year =	 1992,
  Address =	 "Monterey, CA",
  Note =	 "ISBN 0-534-17100-1"
}

@Book{Thalman90,
  Author =	 "Daniel Thalman",
  Title =	 "Scientific Visualization and Graphics Simulation",
  Publisher =	 Wiley,
  Year =	 1990,
  Address =	 NY
}

@InProceedings{Thomas-Lewis90,
  Author =	 "Rex A. Thomas and Dorothy Ohl Lewis",
  Title =	 "What can simulation add to conventional
                  instruction?",
  BookTitle =	 "Computer Aided Training in Science and Technology
                  Conference",
  Year =	 1990,
  Address =	 "Barcelona, Spain",
  Month =	 jul,
  Annote =	 "2 references."
}

@Article{Thorburn18,
  author = 	 {W.M. Thorburn},
  title = 	 {The Myth of Occam's Razor},
  journal = 	 {Mind},
  year = 	 1918,
  volume =	 27,
  pages =	 {345-353}
}

@Book{Todino-Strang86,
  Author =	 "Grace Todino and John Strang",
  Title =	 "Learning the UNIX Operating Sysytem",
  Publisher =	 "O'Reilly and Associates, Inc",
  Year =	 1986
}

@Book{Topham90,
  Author =	 "Douglas Topham",
  Title =	 "The First Book of Unix",
  Publisher =	 "SAMS",
  Year =	 1990,
  Address =	 "Carmel, Indiana"
}

@Book{Tricker66,
  Author =	 "R. A. R. Tricker",
  Title =	 "The Contributions of Faraday and Maxwell to
                  Electrical Science",
  Publisher =	 "Pergamon Press",
  Year =	 1966,
  Address =	 "Oxford"
}

@Book{Troy90,
  Author =	 "Douglas Troy",
  Title =	 "UNIX Systems",
  Publisher =	 "Addison-Wesley",
  Year =	 1990,
  Series =	 "Computing Fundamentals Series",
  Address =	 NY
}

@Article{Tsichritzis99,
  author =	 {Dennis Tsichritzis},
  title =	 {Reengineering the University},
  journal =	 CACM,
  year =	 1999,
  volume =	 42,
  number =	 6,
  month =	 jun,
  pages =	 {93-100},
  annote =	 {1 reference.}
}

@Article{Tucker-Barnes91,
  Author =	 "Allen B. Tucker and Bruce H. Barnes",
  Title =	 "Flexible Design: A Summary of Computing Curricula
                  1991",
  Journal =	 "Computer",
  Year =	 1991,
  Volume =	 24,
  Number =	 11,
  Month =	 nov,
  Pages =	 "56-66",
  Annote =	 "11 references."
}

@Article{Tucker-etal91,
  Author =	 "Allen B. Tucker and Bruce H. Barnes and others",
  Title =	 "Computing Curricula 1991",
  Journal =	 CACM,
  Year =	 1991,
  Volume =	 34,
  Number =	 6,
  Month =	 jun,
  Pages =	 "69-84",
  Annote =	 "11 references."
}

@Book{Tucker-etal92,
  Author =	 "Allen B. Tucker and W. James Bradley and Robert
                  D. Cupper and David K. Garnick",
  Title =	 "Fundamentals of Computing I: Logic Problem Solving
                  Programs and Computers",
  Publisher =	 McGraw-Hill,
  Year =	 1992,
  Address =	 NY,
  Annote =	 "Introductory text following the guidlines fo
                  Curricula 1991. Many references."
}

@Article{Tucker96,
  author =	 "Alan B. Tucker and others",
  title =	 "Strategic Directions in Computer Science Education",
  journal =	 ACMCS,
  volume =	 28,
  number =	 4,
  pages =	 "836-845",
  month =	 dec,
  year =	 1996,
  annote =	 "44 references."
}

@Book{Tucker97,
  editor =	 {Allen B. Tucker, Jr.},
  title =	 {The Computer Science and Engineering Handbook},
  booktitle =	 {The Computer Science and Engineering Handbook},
  year =	 1997,
  publisher =	 {CRC Press},
  address =	 {Salem, MA},
  annote =	 {Many references.}
}

@Book{Tunnicliffe91,
  Author =	 "W. R. Tunnicliffe",
  Title =	 "Mathematics in Programming: Introduction",
  Publisher =	 "Prentice-Hall",
  Year =	 1991,
  Address =	 "Englewood Cliffs, NJ",
  Note =	 "ISBN 0-13-563404-0"
}

@Misc{Twain95,
  author = 	 {Mark Twain},
  title = 	 {{Fenimore Cooper's Literary Offenses}},
  year =	 1895,
  Note =         {Reprinted in \emph{Twain: Collected Tales, Sketches, Speeches, and Essays: Volume 2: 1891-1910}, pages 180-192 (Penguin Putman Inc., 1992).}
}

@Book{VanLeunen92,
  author =	 "Mary-Claire {Van Leunen}",
  title =	 "A handbook for scholars",
  publisher =	 "Oxford University Press",
  year =	 1992,
  address =	 NY,
  edition =	 "revised"
}

@Book{Walters91,
  Author =	 "R. F. C. Walters",
  Title =	 "Categories and Computer Science",
  Publisher =	 "Cambridge University Press",
  Year =	 1991,
  Volume =	 28,
  Series =	 "Cambridge Computer Science Texts",
  Address =	 NY,
  Annote =	 "30 references."
}

@Book{Ward-Halstead90,
  Author =	 "Stephen A. Ward and Robert H. Halstead",
  Title =	 "Computation structures",
  Publisher =	 "MIT Press",
  Year =	 1990,
  Series =	 "The MIT electrical engineering and computer science
                  series",
  Address =	 "Cambridge, Mass."
}

@Book{White93,
  Author =	 "Ron White",
  Title =	 "How Computers Work",
  Publisher =	 "Ziff-Davis Press",
  Year =	 1993,
  Address =	 "Emeryville, CA",
  Annote =	 "For beginners -- lots of nice brightly colored
                  pictures and facile explanations"
}

@Book{Whitehead-Russell25,
  author =	 "A. N. Whitehead and B. Russell",
  title =	 "Principia Mathematica",
  publisher =	 "Cambridge University Press",
  address =	 "London",
  year =	 "1925",
  edition =	 "Second edition."
}

@article{Wieman-Gilbert14,
Author = {Carl Wieman and Sarah Gilbert},
Title = {The Teaching Practices Inventory: A New Tool for Characterizing College and University Teaching in Mathematics and Science},
Journal = {CBE-Life Sciences Education},
Volume = 13,
Number = 3,
Pages = {552-569},
Year = 2014,
}

@Book{Williams90,
  author =	 {Joseph M. Williams},
  title = 	 {Style: Toward Clarity and Grace},
  publisher = 	 {The University of Chicago Press},
  year = 	 1990,
  annote =	 {Writing well, especially for technical writers.}
}

@Article{Williams92,
  Author =	 "John D. Williams",
  Title =	 "Neural Network Design: An Object-Oriented Approach",
  Journal =	 "PC AI",
  Year =	 1992,
  Volume =	 6,
  Number =	 3,
  Month =	 "May/June",
  Pages =	 "23-27"
}

@Book{Wisskirchen90,
  Author =	 "P. Wisskirchen",
  Title =	 "Object-oriented graphics: from GKS and PHIGS to
                  object-oriented systems",
  Publisher =	 SV,
  Year =	 1990,
  Address =	 NY
}

@Book{Zeigler90,
  Author =	 "Bernard P. Zeigler",
  Title =	 "Object-oriented simulation with hierarchical,
                  modular models: intelligent agents and endomorphic
                  systems",
  Publisher =	 "Academic Press",
  Year =	 1990,
  Address =	 "Boston",
  Note =	 "Subject headings: Digital computer simulation
                  Artificial intelligence Object-oriented programming"
}

@Book{vanHeijenoort67,
  Author =	 "Jean van Heijenoort",
  Title =	 "From Frege to Godel; a source book in mathematical
                  logic, 1879-1931",
  Publisher =	 "Harvard University Press",
  Year =	 1967,
  Address =	 "Cambridge, Mass."
}

@Book{vanRooijen-Bless-Hull02,
  author =	 {Ann van Rooijen-Bless and Ed Hull},
  title = 	 {Reader-friendly biomedical articles},
  publisher = 	 {van Zuiden Communications B.V.},
  year = 	 2002,
  address =	 {Alphen aan den Rijn},
  note =	 {With CD-ROM exercises.}
}

@Book{vonOech90,
  Author =	 "Roger von Oech",
  Title =	 "A whack on the side of the head : how you can be
                  more creative",
  Publisher =	 "Warner Books",
  Year =	 1990,
  Address =	 NY,
  Edition =	 "Revised"
}