@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{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{springer = "Sprin\-ger-Ver\-lag"} @STRING{diagrammes = "Dia\-gram\-mes"} @BOOK{ADI, author = "Apple Computer Inc.", title = "Human Interface Guidelines: The Apple Desktop Interface", publisher = addwes, year = "1987", } @BOOKLET{vmp, author = "Atish Bagchi and Charles Wells", title = "The Varieties of Mathematical Prose", howpublished = "In preparation. When published, it will be available by anonymous FTP from {\tt ftp.cwru.edu}. It will be the file {\tt mathrite.dvi} in the directory {\tt math\slash wells}", year = 1994, } @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. It is available by anonymous FTP from {\tt triples.math.mcgill.ca}, in the files {\tt variable.sets.tex.Z} and {\tt variable.sets.dvi.Z} in the directory {\tt pub\slash barr}", 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 Toposes, Triples and Theories", year = "1993", note = "Corrections and additions to \cite{ttt}", howpublished = "Available by FTP from {\tt triples.math.mcgill.ca} in the file {\tt tttcorr.dvi} in the directory {\tt pub\slash barr}", } @ARTICLE{boas, author = "Boas", title = "Can We Make Mathematics Intelligible?", year = 1981, journal = amm, month = "December", pages = "727--731", volume = 88, number = 10, } @PROCEEDINGS{ACM, title = "Communications of the ACM", volume = 34, month = "May", year = "1991", organization = acm, publisher = acm, note = "Special issue on software engineering", } @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, } @BOOK{Gasteren, author = "A. J. M. van Gasteren", title = "On the Shape of Mathematical Arguments", publisher = springer, series = lncs, volume = 445, year = 1990, } @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 F. 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{func, editor = "Guershon Harel and Ed Dubinsky", title = "The Concept of Function", publisher = maa, series = "MAA Notes", volume = 25, year = 1992, } @BOOK{VDM, author = "Cliff B. Jones", title = "Systematic Software Development using VDM", publisher = "Prentice-Hall", series = "International Series in Computer Science", year = 1990, } @BOOK{symb, editor = "Zaven A. Karian", title = "Symbolic Computation in Unvedgraduate 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, } @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", } @TECHREPORT{lamport, author= "Leslie Lamport", title= "How to Write a Proof", institution= "Digital Systems Research Center", number = "SRC-094", month= feb, year= "1993", note = "Available by FTP from {\tt gatekeeper.dec.com} in the directory {\tt \slash archive\slash pub\slash DEC\slash SRC\slash research-reports}. It is file {\tt SRC-094.ps.Z}.", } @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", } @BOOK{Imagery, author = "Arthur I. Miller", title = "Imagery in Scientific Thought", publisher = "MIT Press", year = 1987, } @ARTICLE{catfou, author = "Colin McLarty", title = "Numbers Can Be Just What They Have To", journal = "Nous", volume = 27, year = 1993, pages = "487--498", } @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, } @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, } @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", publisher = "Wiley", year = 1982, } @BOOKLET{Scha, author = "J. J. Sch{\"a}ffer", title = "Title?\protect\mpar{What is the title and date of this?}", howpublished = "Class notes used at Carnegie Mellon University", year = "???", } @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, } @BOOKLET{DM, author = "Charles Wells", title = "Discrete Mathematics", howpublished = "Class notes, Department of Mathematics, Case Western Reserve University", year = 1993, } @BOOKLET{wmclfcs, author = "Charles Wells", title = "What mathematicians can learn from computer science", howpublished = "Available by FTP from {\tt ftp.cwru.edu}. It is the file {\tt wmclfcs.dvi} in the directory {\tt math\slash wells}", year = 1993, } @BOOKLET{wmclfcs, author = "Charles Wells", title = "On Mathematical Terminology and Notation", howpublished = "Available by FTP from {\tt ftp.cwru.edu}. It is the file {\tt mtn.dvi} in the directory {\tt math\slash wells}", year = 1993, }