% math, general stuff that doesn't go elsewhere
% $Id: etc.bib,v 1.10 1999/07/27 16:27:55 leavens Exp $

@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{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"
}

@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
}

@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{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
}

@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{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{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."
}

@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."
}

@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{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"
}

@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{Lamport94,
  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{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."
}

@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
}

@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{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{McLarty96,
  key =          "McLarty",
  author =       "Colin McLarty",
  title =        "Elementary Categories, Elementary Toposes",
  publisher =    "Oxford University Press",
  year =         "1991",
  volume =       "21",
  series =       "Oxford Logic Guides",
}

@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)."
}

@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."
}

@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
}

@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."
}

@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
}

@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{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."
}


@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, $28, 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
}

@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."
}

@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."
}

@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"
}

@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"
}

@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{VanLeunen92,
  author = 	 "Mary-Claire {Van Leunen}",
  title = 	 "A handbook for scholars",
  publisher = 	 "Oxford University Press",
  year = 	 1992,
  address =	 NY,
  edition =	 "revised"
}

@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"
}

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