<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
% $Id: etc.bib,v 1.24 2006/02/09 06:32:49 leavens Exp $

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

@Book{Abelson-diSessa80,
  Key =		 "Abelson \& diSessa",
  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,
  Key =		 "Abrahams \& Larson",
  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,
  Key =		 "Adamek \& Herrlich \& -Strecker",
  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,
  Key =		 "Adobe",
  Author =	 "Adobe Systems Incorporated",
  Title =	 "POSTSCRIPT Language: Tutorial and CookBook",
  Year =	 1991,
  Publisher =	 "Addison-Wesley Publishing Company, Inc",
  Annote =	 "6 references"
}

@InCollection{Airasian-Madaus74,
  Key =		 "Airasian \& Madaus",
  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,
  Key =		 "Anderson \& Block",
  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,
  Key =		 "Arbib \& Manes",
  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,
  Key =		 "Aristotle",
  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,
  Key =		 "Arya",
  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,
  Key =		 "Asperti \& Longo",
  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,
  key =		 "Austing, {\em et al.}",
  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{Babbage82,
  Key =		 "Babbage",
  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,
  Key =		 "Balcazar \& Diaz \& Gabarro",
  Author =	 "Jos\'{e} Luis Balc\'{a}zar and Josep D\'{i}az and
                  Joaquim Gabarr\'{o}",
  Title =	 "Structural Complexity I",
  Year =	 1988,
  Publisher =	 "Springer-Verlag",
  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,
  key =		 {Bandemer \& Gottwald},
  address =	 NY,
  annote =	 {Many references.}
}

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

@Article{Baroody-DeWitt81,
  Key =		 "Baroody \& DeWitt",
  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,
  Key =		 "Barr \& Wells",
  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,
  key =		 {Beer \& Chiel \& Drushel},
  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,
  Key =		 "Bergman \& Maddux \& Pigozzi",
  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 =	 Spriner-Verlag,
  Address =	 NY
}

@Book{Berkson74,
  Key =		 "Berkson",
  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,
  Key =		 "Birkhoff",
  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,
  key =		 {Blok \& Pigozzi},
  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,
  key =		 {Blok \& Pigozzi},
  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,
  Key =		 "Bloom \& Hastings \& Madaus",
  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},
  key =		 {Bowers \& Lewin \& Pigozzi},
  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,
  Key =		 "Brown",
  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,
  Key =		 "Cameron \& Rosenblatt",
  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,
  Key =		 "Cardenas \& McLeod",
  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{Cattel94,
   key       = {Cattel},
   author    = {R.G.G. Cattell},
   title     = {The Object Database Standard: {ODMG--93}},
   year      = {1994},
   publisher = {Morgan Kaufmann Publishers},
   address   = {San Mateo, California}
}

@Book{Church41,
  Key =		 "Church",
  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,
  Key =		 "Crevier",
  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,
  Key =		 "Crole",
  Author =	 "Roy L. Crole",
  Title =	 "Categories for Types",
  Publisher =	 "Cambridge",
  Year =	 1994,
  Series =	 "Cambridge Mathematical Textbooks",
  Address =	 "Cambridge, 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},
  key =		 {Czelakowski \& Pigozzi},
  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,
  key =		 {Cziko},
  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,
  Key =		 "Davey \& Priestley",
  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,
  Key =		 "Deming",
  Author =	 "W. Edwards Deming",
  Title =	 "Quality, productivity and competative position",
  Publisher =	 "MIT Center for Advanced Engineering Study",
  Year =	 1982
}

@Article{Denning-etal89,
  Key =		 "Denning, {\em et al.}",
  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{Denning92,
  Key =		 "Denning",
  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,
  Key =		 "Denning",
  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,
  Key =		 "Devaney",
  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,
  Key =		 "Dewdney",
  Author =	 "A. K. Dewdney",
  Title =	 "The planiverse : computer contact with a
                  two-dimensional world",
  Publisher =	 "Poseidon Press",
  Year =	 1984,
  Address =	 NY
}

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

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

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

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

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

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

@Article{Faraday52,
  Key =		 "Faraday",
  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,
  Key =		 "Felder \& Silverman",
  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,
  Key =		 "Felder",
  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,
  Key =		 "Felder",
  Author =	 "Richard M. Felder",
  Title =	 "Effective Teaching: a Workshop",
  Note =	 "Participant's notebook.",
  Month =	 Sep,
  Year =	 1993
}

@Book{Feynman-Leighton-Sands63,
  Key =		 "Feynman-Leighton-Sands",
  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 = 	 {Springer-Verlag},
  year = 	 1996,
  key =		 {Font \& Jansana},
  volume =	 7,
  series =	 {Lecture Notes in Logic},
  address =	 {Berlin},
  annote =	 {119 references}
}

@Book{Freeman-Skapura91,
  Key =		 "Freeman \& Skapura",
  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,
  Key =		 "Frege",
  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,
  Key =		 "Gabriel",
  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,
  Key =		 "Gardner",
  Author =	 "James Gardner",
  Title =	 "Learning Unix",
  Publisher =	 "SAMS",
  Year =	 1991,
  Address =	 "Carmel, Indiana",
  Note =	 "Includes disk of MKS tools."
}

@Book{Garey-Jhonson79,
  key =		 "Garey \& Jhonson",
  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,
  Key =		 "Gaylord-Kamin-Wellin",
  Author =	 "Richard J. Gaylord and Samuel N. Kamin and Paul
                  R. Wellin",
  Title =	 "Introduction to Programming with {Mathematica}",
  Publisher =	 "Springer-Verlag",
  Year =	 1993,
  Series =	 "The Electronic Library of Science",
  Address =	 NY
}

@InCollection{Gibbons93,
  Key =		 "Gibbons",
  Author =	 "Jeremy Gibbons",
  Title =	 "Upwards and Downwards Accumulations on Trees",
  BookTitle =	 "Mathematics of Program Construction, Second
                  International Conference, Oxford, U.K.",
  Publisher =	 "Springer-Verlag",
  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,
  Key =		 "Goldberg",
  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,
  Key =		 "Goldblatt",
  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,
  Key =		 "Gopen \& Swan",
  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,
  Key =		 "Gould",
  Author =	 "Stephen Jay Gould",
  Title =	 "The Mismeasure of Man",
  Publisher =	 "Norton",
  Year =	 1981,
  Address =	 NY
}

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

@Article{Gries91,
  Key =		 "Gries",
  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,
  Key =		 "Gronlund",
  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,
  key =          "Guzdial \& Soloway",
  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,
  Key =		 "Harel",
  Author =	 "David Harel",
  Title =	 "Algorithmics: the spirit of computing",
  Publisher =	 "Addison-Wesley",
  Year =	 1987,
  Address =	 "Reading, Mass."
}

@InCollection{Hartmanis93,
  Key =		 "Hartmanis",
  Author =	 "J. Hartmanis",
  Title =	 "Some Observations about the Nature of Computer
                  Science",
  BookTitle =	 "Foundations of Software Technology and Theorectical
                  Computer Science",
  Publisher =	 "Springer-Verlag",
  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,
  Key =		 "Hayes",
  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,
  Key =		 "Heijenoort",
  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,
  Key =		 "Heller",
  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,
  Key =		 "Hennessy \& Patterson",
  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{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,
  Key =		 "Hill",
  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,
  Key =		 "Hindley \& Lercher \& Seldin",
  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,
  Key =		 "Hoare",
  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 =	 "Springer-Verlag",
  Address =	 NY,
  Pages =	 "245-305",
  Year =	 1989,
  Annote =	 "Example-based approach to introducing category
                  theory."
}

@InBook{Hoc-Nguyen-Xuan90,
  Key =		 "Hoc \& Nguyen-Xuan",
  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,
  Key =		 "Hodges",
  Author =	 "Andrew Hodges",
  Title =	 "Alan Turing: the enigma",
  Year =	 1983,
  Publisher =	 "Burnett Books",
  Address =	 "London",
  Annote =	 "QA29.T8 H63 1983b"
}

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

@Book{Hofstadter85,
  Key =		 "Hofstadter",
  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,
  Key =		 "Horowitz \& Sahni",
  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{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,
  Key =		 "Immerman",
  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,
  Key =		 "Immerman",
  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,
  key =		 "Impagliazzo \& Nagin",
  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,
  Key =		 "Ishikawa",
  Author =	 "Karou Ishikawa",
  Title =	 "Guide to Quality Control",
  Publisher =	 "Asian Productivity Organization",
  Year =	 1976,
  Series =	 "Indurstrial Engineering and Technology",
  Annote =	 "13 references"
}

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

@Book{Jeffrey67,
  Key =		 "Jeffrey",
  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,
  Key =		 "Johnson",
  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,
  Key =		 "Kidder",
  Author =	 "Tracy Kidder",
  Title =	 "The soul of a new machine",
  Publisher =	 "Little, Brown",
  Year =	 1981,
  Address =	 "Boston"
}

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

@Book{Knuth-Larrabee-Roberts89,
  Key =		 "Knuth \& Larrabee \& Roberts",
  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,
  Key =		 "Knuth",
  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{Knuth74,
  Key =		 "Knuth",
  Author =	 "Donald E. Knuth",
  Title =	 "Surreal Numbers",
  Publisher =	 "Addison-Wesley",
  Address =	 "Reading, Mass.",
  Year =	 1974,
  Annote =	 "No references."
}

@Book{Knuth93,
  Key =		 "Knuth",
  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,
  Key =		 "Korfhage",
  Author =	 "Robert F. Korfhage",
  Title =	 "Logic and Algorithms",
  Publisher =	 Wiley,
  Address =	 NY,
  Year =	 1966
}

@Book{Lacey90,
  Key =		 "Lacey",
  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,
  Key =		 "Lagarias",
  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,
  Key =		 "Lambek \& Scott",
  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."
}

@Article{Lamport93,
  Key =		 "Lamport",
  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,
  key =		 {Lamport},
  address =	 {New York, NY},
  edition =	 {second},
  annote =	 {8 references.}
}

@InCollection{Lassez-Maher-Marriott88,
  Key =		 "Lassez \& Maher \& Marriott",
  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,
  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,
  Key =		 "Lawvere \& Schanuel",
  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,
  Key =		 "Leach",
  Author =	 "George W. Leach",
  Title =	 "UNIX, Self-teaching Guide",
  Publisher =	 "John Wiley & Sons",
  Year =	 1993,
  Address =	 NY,
  Annote =	 "25 references."
}

@Article{Leavens-Vermeulen92,
  Key =		 "Leavens-Vermeulen",
  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."
}

@Article{Leavens-etal98,
  Key =		 "Leavens, {\em et al.}",
  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,
  Key =		 "Leavens, {\em et al.}",
  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{Leavens89b,
  Key =		 "Leavens",
  Author =	 "Gary T. Leavens",
  Title =	 "A Distributed Search Program for the $3x+1$ problem",
  Institution =	 "Iowa State University, Department of Computer
                  Science",
  Year =	 1989,
  Number =	 "89-22",
  Address =	 "Ames, Iowa",
  URL =
                  "ftp://ftp.cs.iastate.edu/pub/techreports/TR89-22/TR.ps.Z",
  Month =	 Nov
}

@TechReport{Leavens94b,
  Key =		 "Leavens",
  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,
  key =		 "Leavens",
  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,
  key =		 "Leavens",
  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,
  key =		 "Leavens",
  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,
  Key =		 "Lederer",
  Author =	 "Richard Lederer",
  Title =	 "The Miracle of Language",
  Publisher =	 "Pocket Books",
  Year =	 1991
}

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

@Book{Lessing86,
  key =		 "Lessing",
  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,
  Key =		 "Levin",
  Author =	 "Michael Levin",
  Title =	 "Mathematical Logic for Computer Scientists",
  Institution =	 MITLCS,
  Year =	 1974,
  Number =	 "MIT/LCS/TR-131",
  Annote =	 "27 references."
}

@Book{Levy92,
  Key =		 "Levy",
  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,
  Key =		 "Linn \& Clancy",
  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,
  Key =		 "Linton \& Calder",
  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,
  Key =		 "Lucky",
  Author =	 "R. W. Lucky",
  Title =	 "Silicon dreams : information, man, and machine",
  Publisher =	 "St. Martin's Press",
  Year =	 1989,
  Address =	 NY
}

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

@Book{Manis-Little95,
  key =		 "Manis \& Little",
  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{Mason82,
  Key =		 "Mason",
  Author =	 "John Mason",
  Title =	 "Thinking Mathematically",
  Publisher =	 "Addison-Wesley Pub. Co.",
  Year =	 1982,
  Address =	 "Reading, Mass."
}

@Article{Maxwell64,
  Key =		 "Maxwell",
  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,
  Key =		 "Maxwell",
  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)."
}

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

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

@Book{Model94,
  key =		 "Model",
  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,
  Key =		 "Mollenhoff",
  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,
  Key =		 "Neff \& Weimer",
  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,
  Key =		 "Nerode \& Shore",
  Author =	 "Anil Nerode and Richard A. Shore",
  Title =	 "Logic for Applications",
  Publisher =	 "Springer-Verlag.",
  Year =	 1993,
  Address =	 NY,
  Annote =	 "25 pages of Bibliography- 100's of references"
}

@Book{Newton87,
  Key =		 "Newton",
  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."
}

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

@Manual{Nufer92,
  Key =		 "Nufer",
  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.},
  key =		 {Palasinska \& Pigozzi},
  pages =	 {179--211},
  publisher =	 {Politechnika Krakowska, Wydawnictwo Naukowe DWN,
                  Krak\'{o}w},
  year =	 2001,
  editor =	 {E. Szumakowicza},
}

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

@Article{Parnas90,
  Key =		 "Parnas",
  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,
  key = 	 {Patterson \& Snyder \& Ullman},
  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,
  Key =		 "Paulos",
  Author =	 "John Allen Paulos",
  Title =	 "Beyond Numeracy: Ruminations of a Number Man",
  Publisher =	 "Alfred A. Knopf, Inc.",
  Address =	 NY,
  Year =	 1991
}

@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,
  Key =		 "Pickover",
  Author =	 "Clifford A. Pickover",
  Title =	 "Computers, Pattern, Chaos and Beauty",
  Publisher =	 "St. Martin's Press",
  Year =	 1990,
  Annote =	 "Hundreds of references, categorized."
}

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

@TechReport{Pierce88,
  Key =		 "Pierce",
  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,
  Key =		 "Pierce",
  Title =	 "Basic Category Theory for Computer Scientists",
  Author =	 "Benjamin C. Pierce",
  Publisher =	 MITP,
  Year =	 1991,
  Address =	 "Cambridge, Mass",
  Annote =	 "121 references"
}

@Article{Pigozzi-Font-Jansana01,
  key =		 {Pigozzi \& Font \& Jansana},
  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,
  key =		 {Pigozzi \& Font \& Jansana},
  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},
  key =		 {Pigozzi},
  publisher =	 {Kluwer},
  year =	 2001,
  month =	 Dec
}

@Article{Pigozzi76,
  Key =		 "Pigozzi",
  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},
  key =		 {Pigozzi},
  pages =	 {8--16},
  year =	 1999,
  editor =	 {A. M. Haeberer},
  volume =	 1548,
  series =	 LNCS,
  address =	 NY
}

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

@Book{Plauger93,
  Key =		 "Plauger",
  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,
  Key =		 "Polya",
  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,
  Key =		 "Poundstone",
  Author =	 "William Poundstone",
  Title =	 "The recursive universe : cosmic complexity and the
                  limits of scientific knowledge",
  Publisher =	 "Morrow",
  Year =	 1985,
  Address =	 NY
}

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

@Article{Rettig92,
  Key =		 "Rettig",
  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{Roberts92,
  Key =		 "Roberts",
  Author =	 "Ralph Roberts",
  Title =	 "Unix Desktop Guide to Emacs",
  Publisher =	 "SAMS",
  Year =	 1992,
  Address =	 "Carmel, Indiana"
}

@Book{Robinson92b,
  Key =		 "Robinson",
  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,
  Key =		 "Ross",
  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{Rydeheard-Burstall,
  Key =		 "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."
}

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

@TechReport{Scaletti89,
  Key =		 "Scaletti",
  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,
  Key =		 "Scedrov",
  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,
  Key =		 "Scheifler \& Gettys",
  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{Schoonover-Bowie-Arnold92,
  Key =		 "Schoonover \& Bowie \& Arnold",
  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,
  Annote =	 ""
}

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

@Book{Smith74,
  Key =		 "Smith",
  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{Smith92,
  Key =		 "Smith",
  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,
  Key =		 "Smullyan",
  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,
  Key =		 "Snepscheut",
  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,
  Key =		 "Sobell",
  Author =	 "Mark G. Sobell",
  Title =	 "A Practical Guide to the Unix System",
  Publisher =	 "Benjamin/Cummings",
  Year =	 1989,
  Address =	 NY,
  Edition =	 2
}

@Book{Sobell91,
  Key =		 "Sobell",
  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,
  Key =		 "Soloway",
  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,
  Key =		 "Stone",
  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,
  Key =		 "Sutcliffe",
  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,
  Key =		 "Tanimoto",
  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,
  Key =		 "Taylor",
  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{Taylor92,
  Key =		 "Taylor",
  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,
  Key =		 "Thalman",
  Author =	 "Daniel Thalman",
  Title =	 "Scientific Visualization and Graphics Simulation",
  Publisher =	 Wiley,
  Year =	 1990,
  Address =	 NY
}

@InProceedings{Thomas-Lewis90,
  Key =		 "Thomas \& Lewis",
  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,
  Key =		 "Tadino \& Strang",
  Author =	 "Grace Todino and John Strang",
  Title =	 "Learning the UNIX Operating Sysytem",
  Publisher =	 "O'Reilly and Associates, Inc",
  Year =	 1986
}

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

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

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

@Article{Tsichritzis99,
  key =		 {Tsichritzis},
  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,
  Key =		 "Tucker \& Barnes",
  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,
  Key =		 "Tucker, {\em et al.}",
  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,
  Key =		 "Tucker, {\em et al.}",
  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,
  key =		 "Tucker",
  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,
  key =		 {Tucker},
  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,
  Key =		 "Tunnicliffe",
  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,
  key =		 {Twain},
  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,
  Key =		 "Walters",
  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,
  Key =		 "Ward \& Halstead",
  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,
  Key =		 "White",
  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."
}


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

@Article{Williams92,
  Key =		 "Williams",
  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,
  Key =		 "Wisskirchen",
  Author =	 "P. Wisskirchen",
  Title =	 "Object-oriented graphics: from GKS and PHIGS to
                  object-oriented systems",
  Publisher =	 "Springer-Verlag",
  Year =	 1990,
  Address =	 NY
}

@Book{Zeigler90,
  Key =		 "Zeigler",
  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,
  Key =		 "van Heijenoort",
  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,
  key =		 {van Rooijen-Bless \& Hull},
  address =	 {Alphen aan den Rijn},
  note =	 {With CD-ROM exercises.}
}

@Book{vonOech90,
  Key =		 "vonOech",
  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"
}