@BOOK{aho-sethi-ullman,
    AUTHOR = "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
    TITLE = "{Compilers, Principles, Techniques, and Tools}",
    PUBLISHER = "Addison-Wesley",
    YEAR = 1986,
    ANNOTE = "
	Mentions (mostly) viable prefix property.
	Earlier dragon book is more clear on this.
	Also mentioned in Graham-Rhodes paper.
	"
    }

@INPROCEEDINGS{altran,
    AUTHOR = "Andrew. D. Hall",
    TITLE = "{The ALTRAN System for Rational Function Manipulation---A Survey}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "153--157",
    NOTE = "Also available in Communications of the ACM, 14(8), 517--521, August 1971",
    PUBLISHER = "ACM"
    }

@BOOK{amstex,
    AUTHOR = "M. D. Spivak",
    TITLE = "{The Joy of \TeX:  A Gourmet Guide to Typesetting with the \AmSTeX macro package}",
    PUBLISHER = "American Mathematical Society",
    YEAR = 1986
    }

@PHDTHESIS{anderson,
    AUTHOR = "Robert H. Anderson",
    TITLE = "{Syntax-Directed Recognition of Hand-Printed Two-dimensional Mathematics}",
    SCHOOL = "Harvard University, Cambridge, MA",
    MONTH = jan,
    YEAR = 1968,
    NOTE = {{Shorter version in M. Klerer and J. Reinfelds (eds),
         {\it Interactive Systems for Experimental Applied Mathematics},
         pages 436--459, 1968, Academics Press.}}
    }

@UNPUBLISHED{anderson-exed,
    AUTHOR = "Richard J. Anderson",
    TITLE = "{EXED:  A Prototype Environment for Algebraic Computation}",
    NOTE = "Unpublished Manuscript, Computer Science Dept, UC Berkeley",
    YEAR = 1983
    }

@ARTICLE{arnon,
    AUTHOR = "D. Arnon",
    TITLE = "{Report of the Workshop on Environments for Computational Mathematics}",
    JOURNAL = "ACM SIGSAM Bulletin",
    MONTH = Nov,
    YEAR = 1987,
    VOLUME = 21,
    NUMBER = 4,
    PAGES = "42--48"
    }

@TECHREPORT{attributes-graphical,
    AUTHOR = "Paul Franchi-Zannettacci",
    TITLE = "{Attribute Specifications for Graphical Interface Generation}",
    INSTITUTION = "INRIA",
    NUMBER = "937",
    MONTH = Dec,
    YEAR = 1988
    }

@INPROCEEDINGS{avitzur-pen-input,
    AUTHOR = "Ron Avitzur",
    TITLE = "{On the Recognition of Handwritten Mathematics}",
    BOOKTITLE = "{Submitted to ISSAC '92}",
    YEAR = 1992
    }

@INPROCEEDINGS{ballance-butcher-graham,
    AUTHOR = "Robert A. Ballance and Jacob Butcher and Susan L. Graham",
    TITLE = "{Grammatical Abstraction and Incremental Syntax Analysis}",
    BOOKTITLE = "Proc. SIGPLAN '88 Conference on Programming Language
    Design and Implementation",
    YEAR = 1988,
    PAGES = "185-198",
    PUBLISHER = "ACM"
    }

@BOOK{bundy-mathematical-reasoning,
    AUTHOR = "Alan Bundy",
    TITLE = "{The Computer Modelling of Mathematical Reasoning}",
    PUBLISHER = "Academic Press, Inc.",
    YEAR = 1983,
    }


@ARTICLE{burke-fisher,
    AUTHOR = "Michael G. Burke and Gerald A. Fisher",
    TITLE = "{A Practical Method for LR and LL Syntactic Error Diagnosis and Recovery}",
    JOURNAL = "ACM Trans. On Programming Languages and Systems",
    MONTH = Apr,
    YEAR = 1987,
    VOLUME = 9,
    NUMBER = 2,
    PAGES = "164--197"
    }

@INPROCEEDINGS{camal,
    AUTHOR = "S. R. Bourne and J. R. Horton",
    TITLE = "{The Design of the Cambridge Algebra System}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "134--143",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{caminoreal,
    AUTHOR = "D. Arnon and R. Beach and K. McIsaac and C. Waldspurger",
    TITLE = "{CaminoReal:  An Interactive Mathematical Notebook}",
    BOOKTITLE = "{Proc. EP'88 International Conference on Electronic Publishing, Document Manipulation, and Typography}",
    Organization="Cambridge University Press",
    Pages = "1--18",
    Editor = "van Vliet, J. C.",
    NOTE = "Also available as Technical Report EDL-89-1, Xerox PARC, 1989.",
    Address="Nice, France",
    YEAR = 1988
    }

@TECHREPORT{caminoreal-manual,
    AUTHOR = "D. Arnon and C. Waldspurger and K. McIsaac",
    TITLE = "{CaminoReal User Manual Version 1.0}",
    NUMBER = "CSL-87-5",
    INSTITUTION = "Xerox PARC",
    YEAR = 1987
    }


@INPROCEEDINGS{cayley,
    AUTHOR = "G. Butler and J. Cannon",
    TITLE = "{CAYLEY Version 4, The User Language}",
    BOOKTITLE = "{Symbolic and Algebraic Computation:  International Symposium ISSAC '88 Proceedings}",
    SERIES = "Lecture Notes in Computer Science 358",
    YEAR = 1988,
    PAGES = "456--466",
    PUBLISHER = "Springer-Verlag",
    }


@TECHREPORT{charybdis,
    AUTHOR = "J. K. Millen",
    TITLE = {{CHARYBDIS:  A Lisp Program to Display Mathematical Expressions on Typewriter-like Devices}},
    INSTITUTION = "The MITRE Corporation",
    NUMBER = "MTP-63",
    MONTH = Aug,
    YEAR = 1967
    }

@INPROCEEDINGS{circling,
    AUTHOR = "Michael R. Genesereth",
    TITLE = "{The Use of Semantics in a Tablet-Based Program for Selecting Parts of Mathematical Expressions}",
    BOOKTITLE = "{1979 MACSYMA Users' Conference}",
    PAGES = "328--335",
    MONTH = jun,
    EDITOR = "V. E. Lewis",
    YEAR = 1979
    }

@INPROCEEDINGS{circling-experiment,
    AUTHOR = "Heffrey C. Jackson and Renate J. Roske-Hofstrand",
    TITLE = "{Circling:  A Method of Mouse-based Selection Without Button Presses}",
    BOOKTITLE = "{Proc. CHI '89}",
    MONTH = May,
    YEAR = 1989,
    PAGES = "161--166",
    PUBLISHER = "ACM"
    }

@MANUAL{clx,
    TITLE = {CLX Interface Specification, Version 4},
    AUTHOR = {Robert Scheifler and others},
    ORGANIZATION = {MIT},
    YEAR = {1987}
}

@INPROCEEDINGS{commutative-hash-function,
    AUTHOR = "Gaston H. Gonnet",
    TITLE = "{New Results for Random Determination of Equivalence of Expressions}",
    BOOKTITLE = "{Proc. 1986 Symposium on Symbolic and Algebraic Computation}",
    MONTH = Jul,
    YEAR = 1986,
    PAGES = "127--131",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{cooperman-matcher,
    AUTHOR = "Gene Cooperman",
    TITLE = "{A Semantic Matcher for Computer Algebra}",
    BOOKTITLE = "{Proc. 1986 Symposium on Symbolic and Algebraic Computation}",
    MONTH = Jul,
    YEAR = 1986,
    PAGES = "132-134",
    PUBLISHER = "ACM"
    }

@ARTICLE{cornell-synthesizer,
    AUTHOR = "Tim Teitelbaum and Thomas Reps",
    TITLE = "{The Cornell Program Synthesizer:  A Syntax-Directed Programming Environment}",
    JOURNAL = "Communications of the ACM",
    MONTH = Sep,
    YEAR = 1981,
    VOLUME = 24,
    NUMBER = 9
    }

@ARTICLE{degano-mannucci-mojana,
    AUTHOR = "Pierpaolo Degano and Stefano Mannucci and Bruno Mojana",
    TITLE = "Efficient Incremental RL Parsing for Syntax-Directed Editors",
    JOURNAL = "ACM Trans. On Programming Languages and Systems",
    MONTH = Jul,
    YEAR = 1988,
    VOLUME = 10,
    NUMBER = 3,
    PAGES = "345--373"
    }

@BOOK{derive,
    KEY = "DERIVE",
    TITLE = {The DERIVE User Manual: A Mathematical Assistant for Your
         Personal Computer, Version 2 {\rm (a computer program)}},
    AUTHOR = {{Soft Warehouse, Inc.}},
    ADDRESS = "3615 Hardling Av. Honolulu, HI 96816",
    YEAR = {1991}
}

@ARTICLE{expected-match-time,
    AUTHOR = "J. Steyaert and P. Flajolet",
    TITLE = "{Patterns and Pattern Matching in Trees}",
    JOURNAL = "Information and Control",
    YEAR = 1983,
    VOLUME = "58",
    PAGES = "19--58"
    }

@BOOK{expressionist,
    TITLE = "{Expressionist {\rm (a Macintosh computer program)}}",
    AUTHOR = "A. Bonadio",
    PUBLISHER = "Prescience Corp.",
    ADDRESS = "939 Howard St., San Francisco, CA, 94103",
    YEAR = 1990,
    }

@INPROCEEDINGS{fast-nonlinear-matching,
    AUTHOR = "R. Ramesh and I. V. Ramakrisknan",
    TITLE = "{Nonlinear Pattern Matching in Trees}",
    BOOKTITLE = "{Proc. 15th INTL Colloquium on Automata, Languages and Programming (ICALP 88)}",
    SERIES = "Lecture Notes in Computer Science 317",
    PUBLISHER = "Springer-Verlag",
    MONTH = Jul,
    YEAR = 1988,
    PAGES = "473--488"
    }


@INPROCEEDINGS{fateman-matching,
    AUTHOR = "Richard J. Fateman",
    TITLE = "{The User-Level Semantic Matching Capability in MACSYMA}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "311--323",
    PUBLISHER = "ACM"
    }

@ARTICLE{fateman-tex,
    AUTHOR = "Richard Fateman",
    TITLE = "{\TeX\ Output from MACSYMA-like Systems}",
    JOURNAL = "ACM SIGSAM Bulletin",
    MONTH = nov,
    YEAR = 1987,
    VOLUME = 21,
    NUMBER = 4,
    PAGES = "1--5"
    }

@ARTICLE{fischer-milton-quiring,
    AUTHOR = "C. N. Fischer and D. R. Milton and S. B. Quiring",
    TITLE = "{Efficient LL(1) Error Correction and Recovery Using Only Insertions}",
    JOURNAL = "Acta Informatica",
    YEAR = 1980,
    VOLUME = 13,
    NUMBER = 2,
    PAGES = "141--154"
    }

@INPROCEEDINGS{fitch-applications,
    AUTHOR = "John Fitch",
    TITLE = "{A Survey of Symbolic Computation in Physics}",
    BOOKTITLE = "{Symbolic and Algebraic Computation, Proc. EUROSAM '79}",
    SERIES = "Lecture Notes in Computer Science 72",
    YEAR = 1979,
    PAGES = "30--41",
    PUBLISHER = "Springer-Verlag",
    }

@MASTERSTHESIS{foderaro,
    AUTHOR = "John K. Foderaro",
    TITLE = "{Typesetting Macsyma Equations}",
    SCHOOL = "University of California, Berkeley",
    MONTH = Dec,
    YEAR = 1978
    }

@INPROCEEDINGS{formac,
    AUTHOR = "John Xenakis",
    TITLE = "{The PL/I-FORMAC Interpreter}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "105--114",
    PUBLISHER = "ACM"
    }

@TECHREPORT{foster,
    AUTHOR = "Gregg Foster",
    TITLE = {{DREAMS:  Display REpresentation for Algebraic Manipulation Systems}},
    INSTITUTION = "University of California, Berkeley",
    NUMBER = "UCB/CSD-84-193",
    MONTH = apr,
    YEAR = 1984
    }

@INBOOK{gandalf,
    AUTHOR = "A. Nico Habermann and David S. Notkin",
    TITLE = "{The Second Compendium of GANDALF Documentation}",
    CHAPTER = "The GANDALF Software Development Environment",
    PUBLISHER = "CMU Department of Computer Science",
    YEAR = 1982
    }

@INPROCEEDINGS{gestures,
    AUTHOR = "W. Buxton and E. Fiume and R. Hill and A. Lee and C. Woo",
    TITLE = "{Continuous Hand-gesture Driven Input}",
    BOOKTITLE = "{Proc of Graphics Interface}",
    YEAR = 1983,
    PAGES = "191--195"
    }

@ARTICLE{ghezzi-mandrioli-jacm,
    AUTHOR = "Carlo Ghezzi and Dino Mandrioli",
    TITLE = "{Augmenting Parsers to Support Incrementality}",
    JOURNAL = "J. ACM",
    MONTH = Jul,
    YEAR = 1980,
    VOLUME = 27,
    NUMBER = 3,
    PAGES = "564--579"
    }

@ARTICLE{ghezzi-mandrioli-toplas,
    AUTHOR = "Carlo Ghezzi and Dino Mandrioli",
    TITLE = "{Incremental Parsing}",
    JOURNAL = "ACM Trans. On Programming Languages and Systems",
    MONTH = Jul,
    YEAR = 1979,
    VOLUME = 1,
    NUMBER = 1,
    PAGES = "58--70"
    }

@ARTICLE{graham-rhodes,
    AUTHOR = "Susan L. Graham and Steven P. Rhodes",
    TITLE = "{Practical Syntactic Error Recovery}",
    JOURNAL = "Communications of the ACM",
    MONTH = Nov,
    YEAR = 1975,
    VOLUME = 18,
    NUMBER = 11,
    PAGES = "639--650"
    }

@INPROCEEDINGS{handwritten-math-ibm,
    AUTHOR = "D. L. Orth",
    TITLE = "{Linearizing Handwritten Mathematical Notation}",
    BOOKTITLE = "Submitted to SIGPLAN '90 Conference on Programming Language
    Design and Implementation",
    YEAR = 1990,
    PUBLISHER = "ACM"
    }


@INPROCEEDINGS{hashing-lemmas,
    AUTHOR = "Elichi Goto and Yasumasa Kanada",
    TITLE = "{Hashing Lemmas on Time Complexities with Applications to Formula Manipulation}",
    BOOKTITLE = "{Proc. SYMSAC '76}",
    YEAR = 1976,
    PAGES = "154--158",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{hashing-pattern-matching,
    AUTHOR = "Richard M. Cowan and Martin L. Griss",
    TITLE = "{Hashing---The Key to Rapid Pattern Matching}",
    BOOKTITLE = "{Symbolic and Algebraic Computation, Proc. EUROSAM '79}",
    SERIES = "Lecture Notes in Computer Science 72",
    YEAR = 1979,
    PAGES = "266--278",
    PUBLISHER = "Springer-Verlag",
    }

@INPROCEEDINGS{helping-ai,
    AUTHOR = "F. Gardin and J. A. Campbell",
    TITLE = "{A Knowledge-based Approach to User-friendliness in Symbolic Computing}",
    BOOKTITLE = "{Computer Algebra---Proc. EuroCal '83}",
    SERIES = "Lecture Notes in Computer Science 162",
    PAGES = "267--274",
    PUBLISHER = "Springer-Verlag",
    YEAR = 1983
    }

@ARTICLE{hoffmann-odonnell,
    AUTHOR = "Christoph M. Hoffmann and Michael J. O'Donnell",
    TITLE = "{Pattern Matching in Trees}",
    JOURNAL = "J. ACM",
    MONTH = Jan,
    YEAR = 1982,
    VOLUME = 29,
    NUMBER = 1,
    PAGES = "68--95"
    }

@BOOK{hopcraft--ullman,
    AUTHOR = "John e. Hopcroft and Jeffrey D. Ullman",
    TITLE = "{Introduction to Automata Theory, Languages, and Computation}",
    PUBLISHER = "Addison-Wesley",
    YEAR = 1979,
    ANNOTE = "
	Has proof (as solved exercise) that every Context Free Language
	without epsilon has an operator grammer.  (pp104-105)
	"
    }

@INPROCEEDINGS{horgan-moore,
    AUTHOR = "J. R. Horgan and D. J. Moore",
    TITLE = "{Techniques for Improving Language-Based Editors}",
    BOOKTITLE = "{Proc. ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments}",
    MONTH = Apr,
    YEAR = 1984,
    PAGES = "7--14",
    PUBLISHER = "ACM"
    }


@ARTICLE{imp,
    AUTHOR = "Edgar Irons",
    TITLE = "{Experience with an Extensible Language}",
    JOURNAL = "Communications of the ACM",
    MONTH = Jan,
    YEAR = 1970,
    VOLUME = 13,
    NUMBER = 1,
    PAGES = "31--40"
    }

@UNPUBLISHED{infor,
    AUTHOR = "William F. Schelter",
    TITLE = "{Sample \INFOR\ Display}",
    NOTE = "Unpublished Manuscript, Dept. of Mathematics, Univ. of Texas, Austin",
    YEAR = 1987
    }

@Article{inform-parser,
  author = 	 "Frans C. Heeman",
  title = 	 "Incremental Parsing of Expressions",
  OPTcrossref =  "",
  OPTkey = 	 "",
  journal = 	 "The Journal of Systems and Software",
  year = 	 "1990",
  volume = 	 "13",
  number = 	 "1",
  pages = 	 "55-70",
  month = 	 sep,
  OPTnote = 	 "",
  OPTannote = 	 ""
}


@ARTICLE{inform-system,
    AUTHOR = "S. van Egmond and F. C. Heeman and J. C. van Vliet",
    TITLE = "{INFORM:  an Interactive Syntax-Directed Formul\ae-Editor}",
    JOURNAL = "Journal of Systems and Software",
    YEAR = 1989,
    VOLUME = 9,
    PAGES = "169--182"
    }

@INPROCEEDINGS{isds,
    AUTHOR = "Peter H. Feiler and Gail E. Kaiser",
    TITLE = "{Display-Oriented Structure Manipulation in a Multi-Purpose System}",
    BOOKTITLE = "{Proc. IEEE Computer Society's Seventh International Computer Software and Applications Conference (COMPSAC'83)}",
    MONTH = Nov,
    YEAR = 1983,
    PUBLISHER = "IEEE"
    }


@INPROCEEDINGS{jalili-gallier,
    AUTHOR = "Fahimeh Jaliili and Jean H. Gallier",
    TITLE = "{Building Friendly Parsers}",
    BOOKTITLE = "{Proc. 9th ACM Symposium on Principles of Programming Languages}",
    YEAR = 1982,
    PAGES = "196--206",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{jenks-matching,
    AUTHOR = "Richard D. Jenks",
    TITLE = "{A Pattern Compiler}",
    BOOKTITLE = "{Proc. SYMSAC '76}",
    YEAR = 1976,
    PAGES = "60--65",
    PUBLISHER = "ACM"
    }

@ARTICLE{kaiser-kant,
    AUTHOR = "Gail E. Kaiser and Elaine Kant",
    TITLE = "{Incremental Parsing without a Parser}",
    JOURNAL = "Journal of Systems and Software",
    YEAR = 1985,
    VOLUME = 5,
    PAGES = "121--144"
    }

@inproceedings{kn:CC1,
   author = {Calmet, Jacques. and Campbell, John. A.},
   title = {{Artificial Intelligence and Symbolic Mathematical Computations}},
   address = {Karlsruhe, Germany},
   editor =       "J. Calmet and J. A. Campbell",
   volume =       "737",
   series =       "LNCS",
   pages =        "1--19",
   booktitle = {{Proc. of Artificial Intelligence and Symbolic Mathematical 
	Computing}},
   year =         "1992",
   publisher = {{Springer-Verlag}},
   month = aug,
   note = {\Note{kn:CC1}},
}

@inproceedings{kn:DW1,
   author = {Doleh, Y. and Wang, P. S.},
   address = {Tokyo},
   booktitle = {ACM Proc. of the International Syposium on Symbolic
 and Algebraic Computation},
   month = {August},
   note = {\CommentNote{}\Note{kn:DW1}},
   pages = {88-94},
   publisher = {Addison-Wesley},
   title = {{SUI: A system Independent User Interface for an Integrated
 Scientific Computing Environment}},
   year = {1990}
}

@InProceedings{kn:LHJ1,
  author = 	 "Lamagna, Edmund A. and Hayden, Michael B. and
		  Johnson, Catherine W.",
  title = 	 {{The Design of a user Interface to a Computer Algebra
		  System for Introductory Calculus}},
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTeditor = 	 "",
  OPTvolume = 	 "",
  OPTnumber = 	 "",
  OPTseries = 	 "",
  OPTpages = 	 "",
  booktitle = "French--Norwegian Symposium on Computer--Aided Mathematics",
  year = 	 "1993",
  OPTorganization = "",
  OPTpublisher = "",
  address = 	 "Gran, Norway",
  month = 	 sep,
  note = 	 "\Note{kn:LHJ1}",
  OPTannote = 	 ""
}

@Manual{kn:MATHEMATICA-FRONTEND,
  title = 	 "User's Guide For the X Front End",
  OPTcrossref =  "",
  OPTkey = 	 "",
  author = 	 {{Wolfram Research, Inc.}},
  OPTorganization = "",
  OPTaddress = 	 "",
  OPTedition = 	 "",
  year = 	 1993,
  OPTmonth = 	 "",
  OPTnote = 	 "",
  OPTannote = 	 ""
}


@BOOK{kn:MUPAD1,
    AUTHOR = "Fuchssteiner, Benno and others",
    TITLE = "{MuPAD Multi Processing Data Tool}",
    PUBLISHER = {{Birkh\"{a}user}},
    YEAR = 1993,
    Note="To appear.\CommentNote{}\Note{kn:MUPAD1}"
    }

@TECHREPORT{kn:RL1,
    AUTHOR = "Revesz, Gyorgy E. and Lynch, Kevin T.",
    TITLE = "{A Context-Free Characterization of 
	Ordinary Mathematical Notation Encoded in TEX}",
    INSTITUTION = "IBM Research Division, T.J. Watson Research Center",
    NUMBER = "RC 16615",
    MONTH = jul,
    YEAR = 1991,
    Note="\CommentNote{}\Note{kn:RL1}"
    }

%%%%%%%%%%%%%%% NEW REFS ADDED ON March 24 (NK)

@Article( kn:UFKLSVGD1 ,
	Author="Upson, C. and Faulhaber, T. and Kamins, D. and Laidlaw, D.
		and Schlegel, D. and Vroom, J. and Gurwitz, R. 
		and van Dam, A.",
	NoKey="",
	Title={{The Application Visualization System: A Computational
		Environment for Scientific Visualization}},
	Journal={{IEEE Computer Graphics and Application}},
	Volume="9",
	Number="4",
	Pages="30-42",
	Month=jul,
	Year="1989",
	Note="\CommentNote{}\Note{kn:UFKLSVGD1}")

@TechReport{kn:lamport1,
  author = 	 "Lamport, Leslie",
  title = 	 {{How to Write a Long Formula}},
  institution =  "Digital SRC",
  year = 	 "1993",
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTtype = 	 "",
  number = 	 "119",
  OPTaddress = 	 "",
  month = 	 dec,
  note = 	 "\Note{kn:lamport1}",
  OPTannote = 	 ""
}

@MastersThesis{kn:Tyhurst93a,
  author = 	 "T. R. Tyhurst",
  title = 	 {{Mathematical Output Presentation in User Interfaces for 
      Computer Algebra Systems}},
  school = 	 "University of Waterloo, Ontario",
  year = 	 "1993",
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTaddress = 	 "",
  OPTmonth = 	 "",
  note = 	 "Available as Technical Report CS-93-05.",
  OPTtype = 	 "",
  OPTannote = 	 ""
}


@InProceedings{kn:avitzur2,
  author = 	 "Avitzur, R.",
  title = 	 {{The Macintosh Calculator Desk Accessory: an
		  Experiment in Transparent UI}},
  OPTcrossref =  "",
  OPTkey = 	 "",
  editor = 	 "N. Kajler",
  OPTvolume = 	 "",
  OPTnumber = 	 "",
  OPTseries = 	 "",
  OPTpages = 	 "",
  booktitle = "HISC workshop",
  year = 	 "1994",
  OPTorganization = "",
  OPTpublisher = "",
  OPTaddress = 	 "",
  month = 	 mar,
  note = 	 "\Note{kn:avitzur2}To appear.",
  OPTannote = 	 ""
}

@inproceedings{kn:butler1,
   author = {Butler, Greg},
   title = {{The Progress Towards an Intelligent Assistant --- A Discussion
		Paper}},
   address = {Karlsruhe, Germany},
   editor =       "J. Calmet and J. A. Campbell",
   volume =       "737",
   series =       "LNCS",
   pages =        "107-115",
   booktitle = {{Proc. of Artificial Intelligence and Symbolic Mathematical 
	Computing}},
   year =         "1992",
   publisher = {{Springer-Verlag}},
   month = aug,
   note = {\Note{kn:butler1}},
}

@BOOK{kn:cajori1,
    AUTHOR = "Cajori, Florian",
    TITLE = "{A History of Mathematical Notations (two volumes)}",
    PUBLISHER = {{Open Court}},
    YEAR = {{1952--1974}},
    Note="\CommentNote{}\Note{kn:cajori1}"
    }

@TechReport{kn:chang1,
  author = 	 "Chang, L. A.",
  title = 	 {{Handbook for Spoken Mathematics}},
  institution =  "Lawrence Livermore Laboratory",
  year = 	 "1983",
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTtype = 	 "",
  OPTnumber = 	 "",
  OPTaddress = 	 "",
  OPTmonth = 	 "",
  note = 	 "\Note{kn:chang1}",
  OPTannote = 	 ""
}

@TECHREPORT{kn:driscoll1,
    AUTHOR = "Driscoll, Graham C.",
    TITLE = "{Ordinary Mathematical Notation: Some Characteristics
	and their Implications for Programming}",
    INSTITUTION = "IBM Research Division, T.J. Watson Research Center",
    NUMBER = "RC 15365",
    MONTH = oct,
    YEAR = 1990,
    Note="\CommentNote{}\Note{kn:driscoll1}"
    }

@TechReport{kn:foster84a,
  author = 	 "Foster, Gregg",
  title = 	 {{User Interface Considerations
   for Algebraic Manipulation Systems}},
  institution =  "University of California, Berkeley",
  year = 	 "1984",
  OPTtype = 	 "",
  number = 	 "UCB/CSD-84-192",
  OPTaddress = 	 "",
  OPTmonth = 	 "",
  OPTnote = 	 "",
  OPTannote = 	 ""
}
@inproceedings{kn:kajler7,
   author = {Kajler, N.},
   title = {{Building a Computer Algebra Environment by Composition
  	of Collaborative Tools}},
   address = {Bath, GB},
   editor =       "J. P. Fitch",
   volume =       "721",
   series =       "LNCS",
   pages =        "85--94",
   booktitle = {{Proc. of DISCO'92}},
   year =         "1992",
   publisher = {{Springer-Verlag}},
   month = apr,
   note = {\Note{kn:kajler7}},
}

@inproceedings{kn:kajler8,
   author = {Kajler, N.},
   address = {Berkeley, USA},
   booktitle = {{Proc. of ISSAC'92}},
   editor = "P. S. Wang",
   month = jul,
   note = {\Note{kn:kajler8}},
   pages = {376-386},
   publisher = {{ACM Press}},
   title = {{CAS/PI: a Portable and Extensible Interface for Computer 
	Algebra Systems}},
   year = {1992}
}

@TechReport{kn:magic-paper-two,
  author = 	 "Lewis C. Clapp",
  title = 	 {{Magic paper: An On-Line System for the Manipulation
		  of Symbolic Mathematics}},
  institution =  "Computer Research Corp.",
  year = 	 "1986",
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTtype = 	 "",
  number = 	 "R 105-1",
  address = 	 "Newton, Mass.",
  month = 	 apr,
  OPTnote = 	 "",
  OPTannote = 	 ""
}

@inproceedings{kn:marzinkewitsch1,
   author = {Marzinkewitsch, Reiner},
   title = {{Operating Computer Algebra Systems by Handprinted Input}},
   address ={Bonn, Germany},
   editor =       "S. M. Watt",
   novolume =       "",
   noseries =       "",
   pages =        "411-413",
   booktitle = {{Proc. of ISSAC'91}},
   year =         "1991",
   publisher = {{ACM Press}},
   month = jul,
   note = {\Note{kn:marzinkewitsch1}},
}

@Book{kn:ouster94,
  author = 	 "Ousterhout, J. K.",
  title = 	 {{Tcl and the Tk Toolkit}},
  publisher = 	 "Addison-Wesley",
  year = 	 "1994",
  OPTnote = 	 "",
}


@inbook{kn:quint3,
   author = { Quint, Vincent},
   address = {Cambridge},
   chapter = {Systems for the representation of structured documents},
   note = {\CommentNote{}\Note{kn:quint3}},
   pages = {39-73},
   publisher = {Cambridge University Press},
   series = {The Cambridge Series on Electronic Publishing},
   title = {Structured documents},
   year = {1989}
}

@inproceedings{kn:rimey1,
   author = {Rimey, Ken},
   title = {{Template-based Formula Editing in Kaava}},
   address = {Bath, GB},
   editor =       "J. P. Fitch",
   volume =       "721",
   series =       "LNCS",
   pages =        "1--12",
   booktitle = {{Proc. of DISCO'92}},
   year =         "1992",
   publisher = {{Springer-Verlag}},
   month = apr,
   note = {\Note{kn:rimey1}},
}

@InBook{kn:scheftic1,
   author = "Scheftic, Carol",
   address = "Boston",
   edition = {{Tom Lee}},
   chapter = {Interactive Mathematics texts: ideas for developers},
   note = {\CommentNote{}\Note{kn:scheftic1}},
   pages = {51-63},
   publisher = {Birkhauser},
   noseries = {},
   title = {Mathematical Computation with Maple V: Ideas and Applications},
   year = {1993}
}

@phdthesis{kn:soiffer1,
   author = {Soiffer, Neil M.},
   month = apr,
   note = {Available as report UCB/CSD/ 91/626
		\CommentNote{Longue these (10ans), tr\'es interesant,
		 contient un gros chapitre sur MathScribe}
		 \Note{kn:soiffer1}},
   school = {University of California, Berkeley, CA},
   title = {{The Design of a User Interface for Computer Algebra
 Systems}},
   year = {1991}
}


@Article{kn:sydow1,
  author = 	 "B.~von Sydow",
  title = 	 {{The design of the Euromath  system}},
  OPTcrossref =  "",
  OPTkey = 	 "",
  journal = 	 "Euromath Bulletin",
  year = 	 "1992",
  volume = 	 "1",
  number = 	 "1",
  pages = 	 "39-48",
  OPTmonth = 	 "",
  note = 	 "\Note{kn:sydow1}",
  OPTannote = 	 ""
}

%%%%%%%%%%%%%%% NEW REFS ADDED ON May 18th (NK)

@MastersThesis{kn:vielhaber1,
  author = 	 "Vielhaber, H.",
  title = 	 {{A Graphical Usre Interface for a Computer Algebra System}},
  school = 	 "RISC-Linz, Johannes Kepler University",
  year = 	 "1992",
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTaddress = 	 "",
  month = 	 jul,
  note = 	 "Available as RISC-Linz Report Series No. 92-48.\Note{kn:vielhaber1}",
  OPTtype = 	 "",
  OPTannote = 	 ""
}

@inproceedings{kn:weck1,
   author = {Weck, Wolfgang},
   title = {{Putting Icons Into (Con--) Text}},
   address ={Paris, France},
   noeditor =       "",
   novolume =       "",
   noseries =       "",
   nopages =        "107-115",
   booktitle = {{Proc. of TOOLS Europ'94}},
   year =         "1994",
   nopublisher = {{}},
   month = mar,
   note = {To appear.\Note{kn:weck1}},
}


@TECHREPORT{lang-matching,
    AUTHOR = "H. W. Lang and M. Schimmler and H. Schmeck",
    TITLE = "{Matching Tree Patterns Sublinear on the Average}",
    INSTITUTION = "Dept. of Informatik, Univ Kiel, Kiel, W. Germany",
    YEAR = 1980
    }

@BOOK{latex,
    AUTHOR = "Leslie Lamport",
    TITLE = "{\LaTeX: A Document Preparation System}",
    PUBLISHER = "Addison-Wesley",
    YEAR = 1986
    }

@PHDTHESIS{leinius,
    AUTHOR = "R. P. Leinius",
    TITLE = "{Error Detection and Recovery for Syntax Directed Compiler Systems}",
    SCHOOL = "University of Wisconsin, Madison",
    YEAR = 1970,
    }

@ARTICLE{leler-soiffer,
    AUTHOR = "Wm Leler and Neil Soiffer",
    TITLE = "{An Interactive Graphical Interface for Reduce}",
    JOURNAL = "ACM SIGSAM Bulletin",
    MONTH = Aug,
    YEAR = 1985,
    VOLUME = 19,
    NUMBER = 3,
    PAGES = "17--23"
    }

@INPROCEEDINGS{leong,
    AUTHOR = "Benton Leong",
    TITLE = "{Iris:  Design of an User Interface Program for Symbolic Algebra}",
    BOOKTITLE = "{Proc. 1986 Symposium on Symbolic and Algebraic Computation}",
    MONTH = Jul,
    YEAR = 1986,
    PAGES = "1--6",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{mac-display-editor,
    AUTHOR = "Carl W. Hoffman and Richard E. Zippel",
    TITLE = "{An Interactive Display Editor for MACSYMA}",
    BOOKTITLE = "{Proc. 1979 MACSYMA Users' Conference}",
    PAGES = "344",
    YEAR = 1979
    }

@UNPUBLISHED{mac-display-editor-handout,
    AUTHOR = "Carl W. Hoffman and Richard E. Zippel",
    TITLE = "{MACSYMA Display-Oriented Expression Editor Preliminary Description and Command Summary}",
    NOTE = "Handed out at 1979 MACSYMA Users' Conference",
    YEAR = 1979
    }

@ARTICLE{mac-display-editor-symbolics,
    AUTHOR = "Frank Krausz",
    TITLE = "{A Better User Interface for Symbolics Lisp Machine MACSYMA}",
    JOURNAL = "MACSYMA Newsletter",
    MONTH = Jul,
    YEAR = 1988,
    VOLUME = 5,
    NUMBER = 3,
    PAGES = "3--5"
    }


@INPROCEEDINGS{macaulay,
    AUTHOR = "David Bayer and Michael Stillman",
    TITLE = "{The Design of Macaulay:  A System for Computing in Algebraic Geometry and Commutative Algebra}",
    BOOKTITLE = "{Proc. 1986 Symposium on Symbolic and Algebraic Computation}",
    MONTH = Jul,
    YEAR = 1986,
    PAGES = "157--162",
    PUBLISHER = "ACM"
    }


@INPROCEEDINGS{maced,
    AUTHOR = "Richard J. Fateman",
    TITLE = "{MAC-ED, an Interactive Expression Editor for MACSYMA}",
    BOOKTITLE = "{Proc. 1979 MACSYMA Users' Conference}",
    PAGES = "336--343",
    YEAR = 1979
    }

@BOOK{macsyma,
    TITLE = "{MACSYMA Reference Manual}",
    KEY = "MACSYMA",
    EDITION = "Tenth",
    PUBLISHER = "Laboratory for Computer Science, MIT",
    MONTH = Jan,
    YEAR = 1983
    }

@INPROCEEDINGS{macsyma-consultant,
    AUTHOR = "Michael R. Genesereth",
    TITLE = "{An Automated Consultant for MACSYMA}",
    BOOKTITLE = "{Proc. 1977 MACSYMA Users' Conference}",
    PAGES = "309--314",
    NOTE = "NASA CP-2012",
    YEAR = 1977
    }

@INPROCEEDINGS{macsyma-problems,
    AUTHOR = "Michael R. Genesereth",
    TITLE = "{The Difficulties of Using MACSYMA and the function of User Aids}",
    BOOKTITLE = "{Proc. 1977 MACSYMA Users' Conference}",
    PAGES = "291--307",
    NOTE = "NASA CP-2012",
    YEAR = 1977
    }

@INPROCEEDINGS{magic-paper,
    AUTHOR = "Lewis C. Clapp and Richard Y. Kain",
    TITLE = "{A Computer Aid for Symbolic Mathematics}",
    BOOKTITLE = "{Proc. AFIPS Fall Joint Computer Conference}",
    VOLUME = 24,
    YEAR = 1963,
    MONTH = nov,
    PAGES = "509--517",
    PUBLISHER = "AFIPS Press"
    }

@BOOK{maple,
    AUTHOR = "Bruce W. Char and Keith O. Geddes and Gaston H. Gonnet and Stephen M. Watt",
    TITLE = "{Maple User's Guide}",
    KEY = "Maple",
    PUBLISHER = "WATCOM Publications Ltd.",
    YEAR = 1985
    }

@INPROCEEDINGS{martin,
    AUTHOR = "William A. Martin",
    TITLE = "{Computer Input/Output of Mathematical Expressions}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "78--89",
    PUBLISHER = "ACM"
    }

@PHDTHESIS{martin-phd,
    AUTHOR = "William A. Martin",
    TITLE = "{Symbolic Mathematical Laboratory}",
    SCHOOL = "M.I.T., MAC-TR-36",
    MONTH = jan,
    YEAR = 1967
    }

@BOOK{mathcad,
    TITLE = "{MathCAD 4.0 user's Guide {\rm (a computer program)}}",
    KEY = "MathCAD",
    AUTHOR = "MathSoft, Inc.",
    ADDRESS = "201 Broadway, Cambridge, MA, 02139, USA",
    NoMONTH = {},
    YEAR = 1993
    }

@BOOK{mathematica,
    AUTHOR = "Stephen Wolfram",
    TITLE = "{Mathematica:  A System for Doing Mathematics by Computer}",
    PUBLISHER = "Addison-Wesley",
    YEAR = 1988
    }

@INPROCEEDINGS{mathlab68,
    AUTHOR = "Carl Engelman",
    TITLE = "{The Legacy of Mathlab 68}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "29--41",
    PUBLISHER = "ACM"
    }

@TECHREPORT{mathscope,
    AUTHOR = "Marvin L. Minsky",
    TITLE = "{MATHSCOPE:  Part I---A Proposal for a Mathematical Manipulation-Display System}",
    INSTITUTION = "Artificial Intelligence Project, Project MAC, MIT",
    NUMBER = "MAC-M-118",
    MONTH = Nov,
    YEAR = 1963
    }

@BOOK{mathscribe,
    TITLE = "{MathScribe User's Manual, Version 1.0}",
    KEY = "MathScribe",
    PUBLISHER = "Tektronix Laboratories",
    NOTE = "164 pages",
    YEAR = 1988
    }

@BOOK{mathstation,
    TITLE = "{MathStation, Version 1.0 {\rm (a computer program)}}",
    KEY = "MathStation",
    AUTHOR = "MathSoft, Inc.",
    ADDRESS = "201 Broadway, Cambridge, MA, 02139, USA",
    MONTH = Apr,
    YEAR = 1989
    }

@BOOK{mathtype,
    TITLE = "{MathType User Manual {\rm (a computer program)}}",
    KEY = "MathType",
    PUBLISHER = "Design Science, Inc.",
    ADDRESS = "4028 Broadway, Long Beach, CA 90803",
    YEAR = 1992
    }


@BOOK{mathwriter,
    TITLE = "{MathWriter}",
    AUTHOR = "J. Robert Cooke and E. Ted Sobel",
    KEY = "MathWriter",
    PUBLISHER = "Cooke Publications",
    ADDRESS = "Ithaca, New York",
    YEAR = 1986
    }

@ARTICLE{mcisaac-matching,
    AUTHOR = "Kevin McIsaac",
    TITLE = "{Pattern Matching Algebraic Identities}",
    JOURNAL = "ACM SIGSAM Bulletin",
    MONTH = May,
    YEAR = 1985,
    VOLUME = 19,
    NUMBER = 2,
    PAGES = "4--13"
    }

@INPROCEEDINGS{mfe,
    AUTHOR = "Yasutomo Nakayama",
    TITLE = "{Mathematical Formula Editor for CAI}",
    BOOKTITLE = "{Proc. CHI '89}",
    MONTH = May,
    YEAR = 1989,
    PAGES = "387--392",
    PUBLISHER = "ACM"
    }


@Book{milo,
  author = 	 "Avitzur, R.",
  title = 	 "Milo {\rm (a Macintosh computer program)}",
  publisher = 	 "Paracomp Inc. San Francisco, CA",
  year = 	 1988,
  note = 	 "Milo has been incorporated in FrameMaker, Frame
		  Technology Corp. San Jose CA.",
}

@INPROCEEDINGS{moses-variables,
    AUTHOR = "Joel Moses",
    TITLE = "{The Variety of Variables in Mathematical Expressions}",
    BOOKTITLE = "{Proc. 1977 MACSYMA Users' Conference}",
    NOTE = "NASA CP-2012",
    YEAR = 1977
    }

@INPROCEEDINGS{mumath,
    AUTHOR = "A. Rich and D. Stoutmeyer",
    TITLE = "{Capabilities of the MUMATH-78 Computer Algebra System for the INTEL-8080 Microprocessor}",
    BOOKTITLE = "{Symbolic and Algebraic Computation, Proc. EUROSAM '79}",
    SERIES = "Lecture Notes in Computer Science 72",
    YEAR = 1979,
    PAGES = "241--248",
    PUBLISHER = "Springer-Verlag",
    }

@ARTICLE{new-macsyma-user-interface,
    AUTHOR = "Frank Krausz",
    TITLE = "{A Better MACSYMA User Interface}",
    JOURNAL = "MACSYMA Newsletter",
    MONTH = Jul,
    YEAR = 1989,
    VOLUME = 6,
    NUMBER = 3,
    PAGES = "10--13"
    }

@PHDTHESIS{newspeak,
    AUTHOR = "John K. Foderaro",
    TITLE = "{The Design of a Language for Algebraic Computation Systems}",
    SCHOOL = "EECS Dept, University of California, Berkeley",
    YEAR = 1983
    }

@INPROCEEDINGS{ng-applications,
    AUTHOR = "E. Ng",
    TITLE = "{Symbolic-Numeric Interface:  A Review}",
    BOOKTITLE = "{Symbolic and Algebraic Computation, Proc. EUROSAM '79}",
    SERIES = "Lecture Notes in Computer Science 72",
    YEAR = 1979,
    PAGES = "330-345",
    PUBLISHER = "Springer-Verlag",
    }

@ARTICLE{nonlinear-ref1,
    AUTHOR = "Joost Englefriet",
    TITLE = "{Bottom-up and Top-down Tree Transformations---A Comparison}",
    JOURNAL = "Mathematicas Systems Theory",
    VOLUME = 19,
    NUMBER = 3
    }


@ARTICLE{notkin,
    AUTHOR = "David Notkin",
    TITLE = "{The GANDALF Project}",
    JOURNAL = "Journal of Systems and Software",
    YEAR = 1985,
    VOLUME = 5,
    PAGES = "91--105"
    }

@INPROCEEDINGS{pattern-tracing,
    AUTHOR = "F. Gardin and J. A. Campbell",
    TITLE = "{Tracing Occurrences of Patterns in Symbolic Computation}",
    BOOKTITLE = "{Proc. 1981 Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Aug,
    YEAR = 1981,
    PAGES = "233--238",
    PUBLISHER = "ACM"
    }

@PHDTHESIS{pelegri,
    AUTHOR = "Eduardo Pelegri-Llopart",
    TITLE = "{Rewrite Systems, Pattern matching, and Code Generation}",
    SCHOOL = "EECS Dept, University of California, Berkeley",
    YEAR = 1987
    }


@INPROCEEDINGS{poe,
    AUTHOR = "C. N. Fisher and Gregory F. Johnson and Jon Mauney and Anil Pal and Daniel L. Stock",
    TITLE = "{The Poe Language-Based Editor Project}",
    BOOKTITLE = "{Proc. ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments}",
    MONTH = Apr,
    YEAR = 1984,
    PAGES = "21--29",
    PUBLISHER = "ACM"
    }

@PHDTHESIS{ponder,
    AUTHOR = "Carl Glen Ponder",
    TITLE = "{Evaluation of ``Performance Enhancements'' in Algebraic Manipulation Systems}",
    SCHOOL = "EECS Dept, University of California, Berkeley",
    YEAR = 1988,
    NOTE = "Report No. UCB/CSD 88/438"
    }

@INPROCEEDINGS{powermath,
    AUTHOR = "James H. Davenport and C. E. Roth",
    TITLE = "{PowerMath: A system for the MacIntosh}",
    BOOKTITLE = "{Proc. 1986 Symposium on Symbolic and Algebraic Computation}",
    MONTH = jul,
    YEAR = 1986,
    PAGES = "13--26",
    PUBLISHER = "ACM"
    }


@INPROCEEDINGS{pratt,
    AUTHOR = "Vaughan R. Pratt",
    TITLE = "{Top Down Operator Precedence}",
    BOOKTITLE = "{Proc. 1st ACM Symposium on Principles of Programming Languages}",
    YEAR = 1973,
    PAGES = "41--51",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{press,
    AUTHOR = "Leon Sterling and Alan Bundy and Lawrence Byrd and Richard O'Keefe and Bernard Silver",
    TITLE = "{Solving Symbolic Equations with PRESS}",
    BOOKTITLE = "{Computer Algebra---Proc. EUROCAM '82}",
    SERIES = "Lecture Notes in Computer Science 144",
    PAGES = "109--116",
    PUBLISHER = "Springer-Verlag",
    YEAR = 1982
    }

@ARTICLE{press-comments,
    AUTHOR = "Richard Fateman and Alan Bundy and Richard O'Keefe and Leon Sterling",
    TITLE = "{Commentary on:  Solving Symbolic Equations with PRESS}",
    JOURNAL = "ACM SIGSAM Bulletin",
    MONTH = Apr,
    YEAR = 1988,
    VOLUME = 22,
    NUMBER = 2,
    PAGES = "27--40"
    }


@INPROCEEDINGS{psg,
    AUTHOR = "Rolf Bahlke and Gregor Snelting",
    TITLE = "{Context-sensitive editing with PSG environments}",
    BOOKTITLE = "{Proc. International Workshop on Programming Environments}",
    SERIES = "Lecture Notes in Computer Science",
    YEAR = 1986,
    PUBLISHER = "Springer-Verlag"
    }

@ARTICLE{purdom-brown-matching,
    AUTHOR = "Paul Walton {Purdom Jr.} and Cynthia A. Brown",
    TITLE = "{Tree Matching and Simplification}",
    JOURNAL = "Software---Practice and Experience",
    MONTH = Feb,
    YEAR = 1987,
    VOLUME = 17,
    NUMBER = 2,
    PAGES = "105--115"
    }

@ARTICLE{quint,
    AUTHOR = "Vincent Quint",
    TITLE = "{An Interactive System for Mathematical Text Processing}",
    JOURNAL = "Technology and Science of Informatics",
    YEAR = 1983,
    VOLUME = 2,
    NUMBER = 3,
    PAGES = "169--179"
    }


@INPROCEEDINGS{quint2,
    AUTHOR = "Vincent Quint",
    TITLE = "{Interactive Editing of Mathematics}",
    BOOKTITLE = "{Proc. First International Conference on Text Processing Systems}",
    MONTH = Oct,
    YEAR = 1984,
    PAGES = "55--68",
    PUBLISHER = "Boole Press Limited"
    }

@BOOK{reduce,
    AUTHOR = "A. C. Hearn",
    TITLE = "{Reduce User's Manual, Version 3.0}",
    KEY = "Reduce",
    ADDRESS = "P.O. Box 2138, Santa-Monica CA 90406",
    PUBLISHER = "The RAND Corp.",
    MONTH = Apr,
    YEAR = 1984
    }

@ARTICLE{reps-teitelbaum-demers,
    AUTHOR = "Thomas Reps and Tim Teitelbaum and Alan Demers",
    TITLE = "{Incremental Context-Dependent Analysis for Language-Based Editors}",
    JOURNAL = "ACM Transactions on Programming Languages and Systems",
    MONTH = Jul,
    YEAR = 1983,
    VOLUME = 5,
    NUMBER = 3,
    PAGES = "449--477"
    }

@INPROCEEDINGS{reqd,
    AUTHOR = "Tryg A. Ager and R. A. Ravaglia and Sam Dooley",
    TITLE = "{Representation of Inference in Computer Algebra Systems with Applications to Intelligent Tutoring}",
    editor = "Kaltofen, E. and Watt, S. M.",
    BOOKTITLE = "{Computers and Mathematics}",
    YEAR = 1989,
    PAGES = "215--227",
    PUBLISHER = "Springer-Verlag",
    }


@ARTICLE{response-time-uniformity,
    AUTHOR = {Ben Shneiderman},
    TITLE = "{Response Time and Display Rate in Human Performance with Computers}",
    JOURNAL = {ACM Computing Surveys},
    YEAR = {1984},
    VOLUME = {16},
    NUMBER = {3},
    PAGES = "265--285",
    MONTH = Sep
}

@INPROCEEDINGS{rimey-kaava,
    AUTHOR = "Ken Rimey",
    TITLE = "{Template-based Formula Editing in Kaava}",
    BOOKTITLE = "{Submitted to DISCO '92}",
    YEAR = 1992
    }


@ARTICLE{rohrich,
    AUTHOR = "Johannes {R\"{o}hrich}",
    TITLE = "{Methods for the Automatic Construction of Error Correcting Parsers}",
    JOURNAL = "Acta Informatica",
    YEAR = 1980,
    VOLUME = 13,
    NUMBER = 2,
    PAGES = "115--139"
    }

@INPROCEEDINGS{sac1,
    AUTHOR = "George E. Collins",
    TITLE = "{The SAC-I System:  An Introduction and Survey}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "144--152",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{sac2,
    AUTHOR = "G. E. Collins",
    TITLE = "{The SAC-2 Computer Algebra System}",
    BOOKTITLE = "{Proc. EuroCal '85, vol. 2}",
    SERIES = "Lecture Notes in Computer Science 204",
    YEAR = 1985,
    PAGES = "34--35",
    PUBLISHER = "Springer-Verlag",
    }

@ARTICLE{sammet,
    AUTHOR = "Jean E. Sammet",
    TITLE = "{Survey of Formula Manipulation}",
    JOURNAL = "Communications of the ACM",
    MONTH = Aug,
    YEAR = 1966,
    VOLUME = 9,
    NUMBER = 8,
    PAGES = "555--569"
    }

@INPROCEEDINGS{scratchpad,
    AUTHOR = "R. D. Jenks and B. M. Trager",
    TITLE = "{A Language for Computational Algebra}",
    BOOKTITLE = "{Proc. 1981 Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Aug,
    YEAR = 1981,
    NOTE = "Also available in SIGPLAN NOTICES, 16(11), November 1981",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{scratchpad-interpreter,
    AUTHOR = "Robert S. Sutor and R. D. Jenks",
    TITLE = "{The Type Inference and Coercion Facilities in the Scratchpad II Interpreter}",
    BOOKTITLE = "{Proc. SIGPLAN '87 Symposium on Interpreters and Interpretive Techniques}",
    MONTH = Jun,
    YEAR = 1987,
    PAGES = "56--63",
    NOTE = "Also available as SIGPLAN NOTICES, 22(7), July 1987",
    PUBLISHER = "ACM"
    }


@INPROCEEDINGS{scratchpad1,
    AUTHOR = "J. H. Griesmer and R. D. Jenks",
    TITLE = "{SCRATCHPAD/1---An Interactive Facility for Symbolic Mathematics}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "42--58",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{simplification,
    AUTHOR = "Joel Moses",
    TITLE = "{Algebraic Simplification:  A Guide for the Perplexed}",
    BOOKTITLE = "{Proc. of the Second Symposium on Symbolic and Algebraic Manipulation}",
    MONTH = Mar,
    YEAR = 1971,
    PAGES = "282--304",
    NOTE = "Also available in Communications of the ACM, 14(8), 527--537, August 1971 (Section on Lexicographic Ordering not in revised version)",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{smith-soiffer,
    AUTHOR = "Carolyn Smith and Neil Soiffer",
    TITLE = "{MathScribe:  A User Interface for Computer Algebra Systems}",
    BOOKTITLE = "{Proc. 1986 Symposium on Symbolic and Algebraic Computation}",
    MONTH = Jul,
    YEAR = 1986,
    PAGES = "7--12",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{smp-pattern-matcher,
    AUTHOR = "J. M. Greif",
    TITLE = "{The SMP Pattern Matcher}",
    BOOKTITLE = "{Proc. EuroCal '85, vol. 2}",
    SERIES = "Lecture Notes in Computer Science 204",
    YEAR = 1985,
    PAGES = "303--314",
    PUBLISHER = "Springer-Verlag",
    }

@PHDTHESIS{soiffer,
    AUTHOR = "Neil Morrell Soiffer",
    TITLE = "{The Design of a User Interface for Computer Algebra Systems}",
    SCHOOL = "EECS Dept, University of California, Berkeley",
    YEAR = 1991,
    MONTH = Apr,
    NOTE = "Report No. UCB/CSD 91/626."
    }

@BOOK{star,
    TITLE = "{8010 STAR Information System Reference Library}",
    KEY = "Star",
    PUBLISHER = "Xerox Corporation",
    YEAR = 1984
    }


@ARTICLE{string-hashing-matching,
    AUTHOR = "Malcolm C. Harrison",
    TITLE = "{Implementation of the Substring Test by Hashing}",
    JOURNAL = "Communications of the ACM",
    MONTH = Dec,
    YEAR = 1971,
    VOLUME = 14,
    NUMBER = 12,
    PAGES = "777-779"
    }

@ARTICLE{string-matching,
    AUTHOR = "D. E. Knuth and J. H. Morris and V. R. Pratt",
    TITLE = "{Fast Pattern Matching in Strings}",
    JOURNAL = "SIAM Journal of Computing",
    YEAR = 1977,
    VOLUME = 6,
    NUMBER = 2,
    PAGES = "323--350"
    }

@BOOK{tex,
    AUTHOR = "Donald E. Knuth",
    TITLE = "{The \TeX book}",
    PUBLISHER = "Addison-Wesley",
    YEAR = 1984
    }

@ARTICLE{tex-reduce,
    AUTHOR = "Werner Antweiler and Andreas Strotmann and Volker Winkelmann",
    TITLE = "{A \TeX-REDUCE-Interface}",
    JOURNAL = "ACM SIGSAM Bulletin",
    MONTH = Apr,
    YEAR = 1989,
    VOLUME = 23,
    NUMBER = 2,
    PAGES = "26-33"
    }

@BOOK{theorist,
    TITLE = "{Theorist {\rm (a Macintosh computer program)}}",
    AUTHOR = "Bonadio, A.",
    PUBLISHER = "Prescience Corp.",
    ADDRESS = "939 Howard St., San Francisco, CA, 94103",
    YEAR = 1989
    }

@INPROCEEDINGS{tree-transform-grammar,
    AUTHOR = "S. E. Keller and J. A. Perkins and T. F. Payton and S. P. Mardinly",
    TITLE = "{Tree Transformation Techniques and Experiences}",
    BOOKTITLE = "{Proc. ACM SIGPLAN '84 Symposium on Compiler Construction}",
    MONTH = Jun,
    YEAR = 1984,
    PAGES = "190--201",
    PUBLISHER = "ACM"
    }

@INPROCEEDINGS{typesetting-rules,
    AUTHOR = "S\'{e}amus McCague",
    TITLE = "{Phototypesetting---An Art}",
    BOOKTITLE = "{Proc. First International Conference on Text Processing Systems}",
    MONTH = Oct,
    YEAR = 1984,
    PAGES = "35--54",
    PUBLISHER = "Boole Press Limited"
    }

@INPROCEEDINGS{vaxima,
    AUTHOR = "John K. Foderaro and Richard J. Fateman",
    TITLE = "{Characterization of VAX MACSYMA}",
    BOOKTITLE = "{Proc. 1981 Symposium on Symbolic and 
           Algebraic Manipulation}",
    MONTH = Aug,
    YEAR = 1981,
    PUBLISHER = "ACM",
    PAGES = "14--19"
    }

@INPROCEEDINGS{views,
    AUTHOR = "S. K. Abdali and G. W. Cherry and N. Soiffer",
    TITLE = "{An Object Oriented Approach to Algebra System Design}",
    BOOKTITLE = "{Proc. 1986 Symposium on Symbolic and Algebraic Computation}",
    MONTH = Jul,
    YEAR = 1986,
    PAGES = "24--30",
    PUBLISHER = "ACM"
    }

@TECHREPORT{wegman-alberga,
    AUTHOR = "M. Wegman and C. N. Alberga",
    TITLE = "{Parsing for a Structural Editor (part II)}",
    INSTITUTION = "IBM Research",
    MONTH = Jan,
    YEAR = 1982
    }

@INPROCEEDINGS{wells,
    AUTHOR = "Mark B. Wells",
    TITLE = "{A Review of Two-Dimensional Programming Languages}",
    BOOKTITLE = "{Proc. of a Symposium on Two-Dimensional Man-Machine Communication}",
    YEAR = 1972,
    PAGES = "1--10",
    PUBLISHER = "ACM",
    NOTE = "Also available in SIGPLAN NOTICES, 7(10), October 1972"
    }

@ARTICLE{x-windows,
    AUTHOR = "Robert Scheifler and Jim Gettys",
    TITLE = "{The X Window System}",
    JOURNAL = "ACM Transactions on Graphics",
    MONTH = Apr,
    YEAR = 1986,
    VOLUME = 5,
    NUMBER = 2,
    PAGES = "79--109"
    }

@ARTICLE{yeh,
    AUTHOR = "Dashing Yeh",
    TITLE = "{Automatic Construction of Incremental LR(1) Parsers}",
    JOURNAL = "ACM SIGPLAN Notices",
    MONTH = Mar,
    YEAR = 1988,
    VOLUME = 23,
    NUMBER = 3,
    PAGES = "33--42"
    }

@ARTICLE{young,
    AUTHOR = "Douglas A. Young and Paul S. Wang",
    TITLE = "{GI/S:  A Graphical User Interface for Symbolic Computation Systems}",
    JOURNAL = {Journal of Symbolic Computation},
    PAGES = "365--380",
    VOLUME = {4},
    YEAR = 1987
    }

@Article( kn:SIKVH1 ,
        Author="Smith, D. C. and Irby, C. and Kimball, R. and Verplank, B.
                and Harslem, E.",
        NoKey="",
        Title={{Designing the Star user interface}},
        Journal="Byte",
        Volume="4",
        NoNumber="",
        Pages="242-282",
        NoMonth="",
        Year="1982",
        Note="\CommentNote{}\Note{kn:SIKV1}")

@MastersThesis( kn:pasanen1 ,
	Author="Pasanen, H.",
	NoKey="",
	Title="Highly Interactive Computer Algebra",
	School="Helsinki University of Technology",
	NoMonth="",
	Year="1992",
	Note="\CommentNote{Pr\'esente Kaava}\Note{kn:pasanen1}")

@Book( kn:AXIOM1 ,
	Author="Jenks, R. D. and Sutor, R.",
	NoKey="",
	Title="AXIOM, the Scientific Computation System",
	Publisher="Springer-Verlag",
	NoAddress="",
	NoSeries="",
	NoVolume="",
	Year="1992",
	Note="\CommentNote{}\Note{kn:AXIOM1}")

@inproceedings{kn:jenks1,
   author = {Jenks, R. D.},
   address = {Cambridge, England},
   booktitle = {EUROSAM'84},
   editor = {J. P. Fitch},
   month = {July},
   note = {\Note{kn:jenks1}},
   pages = {123-147},
   publisher = {{LNCS 174, Springer-Verlag}},
   title = {{A Primer: 11 Keys to New Scratchpad}},
   year = {1984}
}

@Manual( kn:EQUATIONBUILDER1 ,
	Author="Talbot, T.",
	NoKey="",
	Title={{EquationBuilder User Manual}},
	NoEdition="",
	Organization="Digital Tool Works",
	Address="100 Charles St., Ste D, Boston, MA",
	Year="1992",
	Note="\CommentNote{}\Note{kn:EQUATIONBUILDER1}")

@inproceedings{kn:wang1,
   author = {Wang, P. S.},
   address = {Capri, Italy},
   booktitle = {{DISCO'90}},
   editor = "A. Miola",
   month = apr,
   note = {\Note{kn:wang1}},
   pages = {145-154},
   publisher = {{LNCS 429, Springer-Verlag}},
   title = {{A System Independent Graphing Package for 
	Mathematical Functions}},
   year = {1990}
}

@Article( kn:WM1 ,
	author= "Wells, M. B. and Morris~(editors), J. B.",
	NoKey="",
	Title={{Proc. of a Symposium on Two-Dimensional Man-Machine
                Communication}},
	Journal="ACM SIGPLAN Notices",
	Volume="7",
	Number="10",
	NoPages="",
	Month=oct,
	Year="1972",
	Note="\CommentNote{}\Note{kn:WM1}")

@Article( kn:arnon1 ,
	Author="Arnon, D.",
	NoKey="",
	Title={{REPORT of the Workshop on Environments for Computational
		Mathematics, held July 30, 1987, 
		during the ACM SIGGRAPH Conference}},
	Journal="ACM SIGSAM Bulletin",
	Volume="21",
	Number="4",
	Pages="42-48",
	Month=nov,
	Year="1987",
	Note="\CommentNote{}\Note{kn:arnon1}")

@Article( kn:katz1 ,
	Author="Katz, A.",
	NoKey="",
	Title={{Issues in Defining an Equations Representation Standard}},
	Journal="ACM SIGSAM Bulletin",
	NoVolume="",
	NoNumber="",
	Pages="19-24",
	Month=may,
	Year="1987",
	Note="\CommentNote{}\Note{kn:katz1}")

@manual{kn:MATHSCRIBE1,
   nonote = {},
   author = {{Tektronix, Inc.}},
   title = {MathScribe User's Manual Version 1.0},
   year = {1988}
}

@InProceedings( kn:kajler10 ,
	Author="Kajler, N",
	NoKey="",
	Title={{User Interfaces for Symbolic Computation:
              a Case Study}},
	Publisher="ACM Press",
 	BookTitle="Proc. of the ACM Symposium on User Interface Software 
		and Technology",
	NoEditor="",
	Address={Atlanta, Georgia},
	Pages="1-10",
	Month=nov,
	Year="1993",
	Note="\CommentNote{}\Note{kn:kajler10}")

@misc( kn:kajler11 ,
	Author="Kajler, N.",
	NoKey="",
	Title={{Environnement graphique distribu\'e pour le Calcul Formel}},
	School="Universit\'e de Nice-Sophia Antipolis, Ecole Doctorale SPI",
	Month="Mars",
	Year="1993",
	Note="Th\`ese, 
		Universit\'e de Nice-Sophia Antipolis, Ecole Doctorale SPI.
		\CommentNote{}\Note{kn:kajler11}")

@inproceedings{kn:kajler2,
   author = {Kajler, N.},
   address = {Capri, Italy},
   booktitle = {{Proc. of DISCO'90}},
   editor = "A. Miola",
   month = apr,
   note = {\Note{kn:kajler2}},
   pages = {235-244},
   publisher = {{LNCS 429, Springer-Verlag}},
   title = {{Building Graphic User Interfaces for Computer Algebra
		 Systems}},
   year = {1990}
}

</PRE>