@STRING{cahiers = "Cah\-iers de Topo\-lo\-gie et G\'e\-o\-m\'e\-trie
Dif\-f\'e\-ren\-ti\-elle Cat\-\'e\-go\-rique"
}

@STRING{oldcahiers = "Cah\-iers de Topo\-lo\-gie et G\'e\-o\-m\'e\-trie
Dif\-f\'e\-ren\-ti\-elle"
}

@STRING{addwes = "Addi\-son Wes\-ley"}
@STRING{maa = "Mathe\-ma\-ti\-cal Asso\-cia\-tion of America"}
@STRING{amm = "Ameri\-can Mathe\-mati\-cal Monthly"}
@STRING{ams = "Ameri\-can Mathe\-mati\-cal Society"}

@STRING{acm = "Asso\-cia\-tion for Computing Machinery"}
@STRING{kluwer = "Klu\-wer Academic Publishers"}

@STRING{lnm = "Lec\-ture Notes in Math\-e\-ma\-tics"}

@STRING{lncs = "Lec\-ture Notes in Com\-pu\-ter Sci\-ence"}

@STRING{jpaa = "Journal of Pure and Applied Alge\-bra"}
@STRING{mit = "Massachusetts Institute of Technology"}

@STRING{springer = "Sprin\-ger-Ver\-lag"}

@STRING{diagrammes = "Dia\-gram\-mes"}

@BOOK{Tal92,
title = "Advanced Mathematical Thinking",
booktitle = "Advanced Mathematical Thinking",
editor = "David Tall",
publisher = "Kluwer",
year = "1992",
series = "Mathematics Education Library",
volume = "11",
}


@BOOK{KefAuw92,
editor = "Kefer, Michael and Johan van der Auwera",
title = "Meaning and Grammar: Cross-Linguistic Perspectives",
booktitle = "Meaning and Grammar: Cross-Linguistic Perspectives",
publisher = "Mouton de Gruyter",
year = "1992",
}


@BOOK{Ant84,
author = "Anton, Howard",
title = "Elementary Linear Algebra, Fourth Edition",
publisher = "John Wiley and Sons",
year = "1984",
ISBN = "0-471-09890-6",
}



@BOOK{War77,
title = "Advances in Cross-Cultural Psychology, Vol.~1",
booktitle = "Advances in Cross-Cultural Psychology, Vol.~1",
editor = "N. Warren",
publisher = "Academic Press",
year = "1977",
}


@BOOK{ADI,
author = "Apple Computer Inc.",
title = "Human Interface Guidelines: The
Apple Desktop Interface",
publisher = addwes,
year = "1987",
}

@BOOKLET{logstr,
author = "Bagchi, Atish and Charles Wells",
title =  "Graph-based Logic and Sketches {I}: The General
Framework",
year = "1997",
howpublished = "Available by web browser from
{\tt http:\doubleslash www.cwru.edu\slash CWRU\slash Dept\slash
Artsci\slash math\slash wells\slash pub\slash papers.html}",
}


@BOOKLET{vmp,
author = "Atish Bagchi and Charles Wells",
title = "The
Varieties of Mathematical
Prose",
howpublished = "Available by web browser from
{\tt http:\doubleslash www.cwru.edu\slash CWRU\slash Dept\slash
Artsci\slash math\slash wells\slash pub\slash papers.html}",
year = 1997,
}


@BOOKLET{comlog,
author = "Atish Bagchi and Charles Wells",
title = "On the Communication of Mathematical Reasoning",
howpublished = "Available by web browser from
{\tt http:\doubleslash www.cwru.edu\slash CWRU\slash Dept\slash
Artsci\slash math\slash wells\slash pub\slash papers.html}",
year = 1997,
}

@BOOK{LC,
author = "Henk P. Barendregt",
title = "The Lambda Calculus: Its Syntax and
Semantics, Revised edition",
publisher = "North Holland",
year = 1984,
}

@MISC{NWF,
author = "Michael Barr",
title = "Functional set
theory",
howpublished = "Preprint,  Department of Mathematics,
Burnside Hall,
McGill University,
805 Sherbrooke St. West,
Montr\'eal, P. Q., Canada H3A 2K6",
year = 1993,
}


@BOOK{ttt,
author = "Barr, Michael and Charles Wells",
title = "Toposes, Triples and Theories",
publisher = springer,
year = "1985",
series = "Grundlehren der mathematischen Wissenschaften",
volume = "278",
address = "New York",
note = "A list of corrections and additions is maintained in
\cite{tttcorr}.",
}

@BOOKLET{tttcorr,
author = "Barr, Michael and Charles Wells",
title = "Corrections to {T}oposes, {T}riples and {T}heories",
year = "1993",
note = "Corrections
and additions to \cite{ttt}.",
howpublished = "Available by web browser from
{\tt http:\doubleslash www.cwru.edu\slash CWRU\slash Dept\slash
Artsci\slash math\slash wells\slash pub\slash papers.html}",
}

@BOOK{ctcs,
author = "Barr, Michael and Charles Wells",
title = "Category Theory for
Computing Science, second edition",
publisher = "Prentice-Hall International",
year = "1995",
series = "Prentice-Hall International Series in Computer
Science",
address = "New York",
note = "The document \cite{ctcsup} contains corrections and
additions to the first edition.",
}


@BOOKLET{ctcsup,
author = "Barr, Michael and Charles Wells",
title = "Category {T}heory for {C}omputing {S}cience: Update",
year = "1993",
note = "Corrections
and additions to \cite{ctcs}.",
howpublished = "Available by web browser from
{\tt http:\doubleslash www.cwru.edu\slash
CWRU\slash Dept\slash Artsci\slash math\slash
wells\slash pub\slash papers.html}",
}

@ARTICLE{boas,
author = "Boas",
title = "Can We Make Mathematics Intelligible?",
year = 1981,
journal = amm,
month = "December",
pages = "727--731",
volume = 88,
number = 10,
}

@BOOK{Borasi,
author = "Borasi, Rafaella",
year = "1992",
title = "Learning Mathematics through Inquiry",
publisher = "Heinemann Educational Books",
}

@BOOK{bou,
author = "Bourbaki, Nicholas",
title = "El\'ements de Math\'ematique, Livre II: Alg\`ebre",
publisher = "Hermann",
year = "1952",
}

@ARTICLE{CarBul93,
author = "Carkenord, D.M. and J. Bullington",
year = "1993",
title = "Bringing Cognitive Dissonance to the
Classroom",
journal = "Teaching of Psychology",
volume = "20",
pages = "41--43",
}

@BOOK{ChiMcc90,
author = "Chierchia, Gennaro and Sally McConnell-Ginet",
title = "Meaning and Grammar",
year = "1990",
publisher = mit,
}



@PROCEEDINGS{ACM,
title = "Communications of the ACM",
volume = 34,
month = "May",
year = "1991",
organization = acm,
publisher = acm,
note = "Special issue on software engineering",
}

@INPROCEEDINGS{Deb94,
author = "de Bruijn, N. G.",
title = "The Mathematical Vernacular, A Language for Mathematics with Typed Sets",
publisher = "Elsevier",
series = "Studies in Logic and the Foundations of Mathematics",
booktitle = "Selected Papers on Automath",
editor = "Nederpelt, R. P and J. H. Geuvers and R. C. de Vrijer",
volume = "133",
year = "1994",
pages = "865 -- 935",
}



@BOOK{dieudmusic,
author = "Dieudonn\'e, Jean A.",
title = "Mathematics, the Music of Reason",
publisher = springer,
year = "1992",
}

@ARTICLE{Devlin,
author = "Keith Devlin",
title = "Computers and Mathematics",
journal = "Notices of the American Mathematical Society",
volume = 39,
number = 10,
year = 1992,
pages = "1186--1188",
}


@BOOK{D&S,
author = "E. W. Dijkstra and C. S. Scholten",
title = "Predicate Calculus
and Program Semantics",
publisher = springer,
year = 1990,
}

@BOOK{dennett,
author = "Daniel Dennett",
title = "Consciousness Explained",
publisher =
"Little, Brown and Company",
year = 1991,
}


@INCOLLECTION{Dre92,
author = "Dreyfus, T.",
title = "Advanced Mathematical Thinking Processes",
crossref = "Tal92",
page = "25--41",
}


@BOOK{EbbFluTho84,
author = "Ebbinghaus, H.-D. and  J. Flum and W.
Thomas",
title = "Mathe\-ma\-ti\-cal Logic",
publisher = springer,
year = "1984",
}



@BOOK{Fes57,
author = "Festinger, L.",
year = "1957",
title = "A Theory of Cognitive Dissonance",
publisher = "Stanford University
Press",
}


@BOOK{Gasteren,
author = "A. J. M. van Gasteren",
title = "On the Shape of
Mathematical Arguments",
publisher = springer,
series = lncs,
volume = 445,
year = 1990,
}

@INCOLLECTION{Gil92,
author = "David Gil",
title = "Scopal Quantifiers; Some Universals of Lexical Effability",
crossref = "KefAuw92",
pages = "303--345",
}




@BOOK{LG,
author = "Leonard Gillman",
title = "Writing Mathematics
Well",
publisher = maa,
year = 1987,
}

@BOOK{CM,
author = "Ronald L. Graham and  Donald E. Knuth and Oren
Patashnik",
title = "Concrete Mathematics",
publisher = addwes,
year = 1989,
}

@BOOK{Gries2,
author = "David Gries and Fred B. Schneider",
title = "A Logical Approach to Discrete Mathematics",
publisher = springer,
year = 1993,
}


@ARTICLE{Gries,
author = "David Gries",
title = "Teaching calculation and
discrimination: A more effective curriculum",
journal = "Communications of
the ACM",
volume = 34,
year = 1991,
pages = "44--55",
}

@BOOK{HalMar93,
author = "Halliday, M. A. K. and J. R. Martin",
title = "Writing Science: Literacy and Discursive Power",
publisher = "University of Pittsburgh Press",
year = "1993",
}


@BOOK{Her64,
author = "I. N. Herstein",
title = "Topics in Algebra",
publisher = "Blaisdell",
year = "1964",
}


@BOOK{func,
editor = "Guershon Harel and Ed Dubinsky",
title = "The Concept of Function",
publisher = maa,
series = "MAA Notes",
volume = 25,
year = 1992,
}

@INCOLLECTION{HarKap92,
author = "Harel, Guershon and James Kaput",
title = "Conceptual Entities and Symbols",
crossref = "Tal92",
pages = "82--94",
}


@BOOK{higham,
author = "Higham, Nicholas J.",
title = "Handbook of Writing for the Mathematical Sciences",
publisher = "Society for Industrial and Applied Mathematics",
year = "1993",
}

@BOOK{VDM,
author = "Cliff B. Jones",
title = "Systematic Software Development using
VDM",
publisher = "Prentice-Hall",
series = "International Series in Computer
Science",
year = 1990,
}


@BOOK{KamRey93,
author = "Kamp, Hans and Uwe Reyle",
title = "From Discourse to Logic, Parts  I and II",
publisher = Kluwer,
series = "Studies in Linguistics and Philosophy",
year = 1993,
ISBN = "0-7923-1027-6 and 0-7923-2402-1",
}


@BOOK{symb,
editor = "Zaven A. Karian",
title = "Symbolic Computation in Undergraduate Mathematics
Education",
publisher = maa,
series = "MAA Notes",
volume = 24,
year = 1992,
}


@INCOLLECTION{Kieran,
author = "Carolyn Kieran",
title = "Cognitive processes involved in
learning school algebra",
editor = "Pearla Nesher and Jeremy Kilpatrick",
booktitle = "Mathematics and
Cognition",
series = "ICMI Study Series",
publisher = "Cambridge University Press",
year = 1990,
pages = "96--112",
}

@BOOK{klb,
author = "Donald E. Knuth and  Tracy
Larrabee and Paul M. Roberts",
title = "Mathematical Writing",
series = "MAA Notes",
volume = 14,
publisher = maa,
year = 1989,
}


@BOOK{Kra95,
author = "Steven G. Krantz",
title = "The Elements of Advanced Mathematics",
publisher = "CRC Press",
year = "1995",
}

@BOOK{Kra97,
author = "Steven G. Krantz",
title = "A Primer of Mathematical Writing",
publisher = ams,
year = "1997",
}


@INCOLLECTION{Laborde,
author = "Colette Laborde",
title = "Language and mathematics",
editor = "Pearla Nesher and Jeremy Kilpatrick",
booktitle = "Mathematics and
Cognition",
series = "ICMI Study Series",
publisher = "Cambridge University Press",
year = 1990,
pages = "53--69",
}


@BOOK{LakJoh80,
author = "George Lakoff and Mark Johnson",
title = "Metaphors we Live By",
publisher = "University of Chicago Press",
year = "1980",
}


@BOOK{Lak86,
author = "George Lakoff",
title = "Women, Fire, and Dangerous Things",
publisher = "The University of Chicago Press",
year = "1986",
}



@ARTICLE{lamport,
author = "Lamport, Leslie",
title = "How to Write a Proof",
journal = "American Mathematical Monthly",
year = "1995",
pages = "600--608",
volume = "102",
}


@BOOK{tew,
author = "Richard A. Lanham",
title = "The Electronic Word",
publisher = "The University of Chicago Press",
year = 1993,
}

@BOOK{handlist,
author = "Richard A. Lanham",
title = "A Handlist of Rhetorical Terms",
publisher = "The University of California Press, Second Edition",
year = 1991,
}

@BOOK{Laurel,
editor = "B. Laurel",
title = "The Art of Human-Computer
Interface Design",
publisher = addwes,
year = 1990,
}

@BOOK{L&P,
author = "Lidl, Rudolf and G\umlaut{u}nter Pilz",
title = "Applied Abstract
Algebra",
publisher = springer,
series = "Undergraduate Texts in Mathematics",
year = 1984,
}

@INCOLLECTION{Maurer,
author = "Stephen B. Maurer",
title = "New Knowledge about Errors and New Views about
Learners: What They Mean to Educators and More Educators Would
Like to Know",
editor = "Alan Schoenfeld",
booktitle = "Cognitive Science and Mathematics
Education",
publisher = "Lawrence Erlbaum Associates",
year = 1987,
pages = "165--188",
}

@ARTICLE{Mau91,
author = "Stephen B. Maurer",
title = "Advice for Undergraduates on Special Aspects of Writing
Mathematics",
journal = "Primus",
volume = "1",
pages = "9--28",
year = "1991",
}

@BOOK{Imagery,
author = "Arthur I. Miller",
title = "Imagery in Scientific
Thought",
publisher = "MIT Press",
year = 1987,
}

@BOOKLET{catfou,
author = "Colin McLarty",
title = "The category of categories as a foundations for
mathematics",
howpublished = "To appear in {\it Nous}",
year = 1993,
}


@BOOK{Men87,
author = "Elliott Mendelson",
title = "Introduction to Mathematical Logic",
publisher = "Wadsworth and Brooks/Cole",
year = "1987",
}


@ARTICLE{Michener,
author = "Edwina Michener",
title = "Understanding Understanding Mathematics",
journal = "Cognitive Science",
year = "1978",
}


@BOOK{Morgan,
author = "Carroll Morgan",
title = "Programming from
Specifications",
publisher = "Prentice-Hall",
series = "Prentice-Hall International Series in Computer
Science",
year = 1990,
}


@BOOK{M&C,
author = "Nesher, Pearla and Jeremy Kilpatrick",
title = "Mathematics and
Cognition",
series = "ICMI Study Series",
publisher = "Cambridge University Press",
year = 1990,
}

@BOOK{Hyper,
author = "Jakob Nielsen",
title = "Hypertext and
Hyper\-media",
publisher = "Academic Press",
year = 1990,
}

@ARTICLE{N2,
author = "Jakob Nielsen",
title = "The art of navigating through
hypertext",
journal = cacm,
volume = 33,
year = 1990,
pagers = "296--310",
}



@BOOK{dic,
editor = "Victoria Neufeldt",
title = "Webster's New World
Dictionary, Third College Edition",
publisher = "Simon and Schuster",
year = 1988,
}


@BOOK{Noll,
author = "Walter Noll",
title = "Finite-Dimensional Spaces: Algebra,
Geometry, and Analysis",
publisher = "Martinus Nijhoff Publishers",
year = 1987,
}

@BOOK{Polya,
author = "G. P\'olya",
title = "How to Solve It",
publisher = "Princeton University
Press",
year = 1948,
}

@BOOK{HD,
author = "Eric Raymond",
title = "The New Hacker's Dictionary",
publisher = "The MIT
Press",
year =1991
}

@BOOK{LR,
author = "Lauren B. Resnick",
title = "Education and Learning to
Think",
publisher = "National Academy Press",
year = 1987,
}

@BOOKLET{rin,
author = "Rin, Hadas",
title = "Linguistic Barriers to Student's Understanding of Definitions in a
College Mathematics Course",
howpublished = "Ph.D. thesis, University of California at Berkeley",
year = "1983",
}

@INCOLLECTION{Ros77,
author = "Rosch, Eleanor",
title = "Human Categorization",
crossref = "War77",
}

@BOOKLET{scha,
author = "Juan Jorge Sch{\"a}ffer",
title = "Sets",
series = "Notes for Mathematical Studies",
howpublished = "Class notes used at Carnegie Mellon University",
year = 1980,
}

@BOOK{Rosen,
author = "Kenneth Rosen",
title = "Discrete Mathematics and its
Applications (2nd edition)",
publisher =  "McGraw-Hill",
year = 1991,
}

@BOOK{Sch,
author = "Alan Schoenfeld",
title = "Mathematical Problem
Solving",
publisher = "Academic Press",
year = 1985,
}

@INCOLLECTION{Sch3,
author = "Alan Schoenfeld",
title = "What's all the fuss about
metacognition?",
editor = "Alan Schoenfeld",
booktitle = "Cognitive Science and Mathematics
Education",
publisher = "Lawrence Erlbaum Associates",
year = 1987,
}

@INCOLLECTION{Sch4,
author = "Alan Schoenfeld",
title = "Cognitive Science and Mathematics Education: An
Overview",
editor = "Alan Schoenfeld",
booktitle = "Cognitive Science and Mathematics
Education",
publisher = "Lawrence Erlbaum Associates",
year = 1987,
pages = "1--32",
}


@BOOK{Sch2,
editor = "Alan Schoenfeld",
title = "Cognitive Science and Mathematics
Education",
publisher = "Lawrence Erlbaum Associates",
year = 1987,
}

@ARTICLE{Sch96,
author = "Fritz Schweiger",
title = "Die Sprache der {M}athematik aus linguistischer {S}icht",
journal = "Beitr\umlaut{a}ge
zum Mathematikunterricht",
year = "1996",
volume = "1996",
pages = "44--51",
}


@INCOLLECTION{Sch94b,
author = "Fritz Schweiger",
title = "Die {A}esthetik der mathematischen {S}prache und
ihre didaktische {B}edeutung",
booktitle = "{G}enie\ss en -- {V}erstehen -- {V}er\umlaut{a}nder.  {K}unst und
{W}issenschaft im Gespr\umlaut{a}ch",
editor = "A. Kyrer and W. Roscher",
publisher = "Verlag Ursula M\umlaut{u}ller-Speiser",
year = "1994",
pages = "99--112",
}

@INCOLLECTION{Sch94c,
author = "Fritz Schweiger",
title = "Mathematics is a Language",
booktitle = "Selected Lectures from the 7th International Congress on
Mathematical Education",
editor = "Robitaille, David F. and David H. Wheeler and Carolyn Kieran",
publisher = "Sainte-Foy: Presses de l'Universit\'e Laval",
year = "1994",
}




@INCOLLECTION{S&S,
author = "Annie Selden and John Selden",
title = "Research Perspectives on Conceptions of Functions",
editor = "Guershon Harel and Ed Dubinsky",
booktitle = "The Concept of Function",
publisher = maa,
series = "MAA Notes",
volume = 25,
year = 1992,
pages = "1--16",
}

@INCOLLECTION{Sfard,
author = "Anna Sfard",
title = "Operational origins of Mathematical Objects and the
Quandary of Reification -- The Case of Function",
editor = "Guershon Harel and Ed Dubinsky",
booktitle = "The Concept of Function",
publisher = maa,
series = "MAA Notes",
volume = 25,
year = 1992,
pages = "59--84",
}

@BOOK{DoP,
author = "Daniel Solow",
title = "How to Read and Do Proofs, 2nd Ed.",
publisher = "Wiley",
year = 1990,
}


@BOOK{HTWM,
author = "Steenrod, Norman E. and Paul R. Halmos and Menahem M.
Schiffer and Jean A. Dieudonn\'e",
title = "How to Write Mathematics",
publisher = ams,
year = 1975,
}

@ARTICLE{TalSch81,
author = "David Tall and Schlomo Vinner",
title = "Concept Image and Concept Definition in Mathematics with
Particular Reference to Limits and Continuity",
journal = "Educational Studies in Mathematics",
volume = "22",
pages = "125--147",
year = "1981",
}



@BOOK{Dal89,
author = "van Dalen, Dirk",
title = "Logic and Structure",
publisher = springer,
year = "1989",
}


@INCOLLECTION{Tal92c,
author = "David Tall",
title = "The Psychology of Advanced Mathematical Thinking",
crossref = "Tal92",
pages = "3--21",
}


@INCOLLECTION{Vin92,
title = "The Role of Definitions in the Teaching and Learning of Mathematics",
author = "Vinner, Shlomo",
crossref = "Tal92",
pages = "65--81",
}




@BOOKLET{DM,
author = "Charles Wells",
title = "Discrete Mathematics",
howpublished = "Class notes, Case Western Reserve University",
year = 1996,
}

@ARTICLE{wmclfcs,
author = "Wells, Charles",
title = "Communicating Mathematics: Useful Ideas from Computer
Science",
journal = "American Mathematical Monthly",
volume = "102",
year = "1995",
pages = "397--408",
}