@book{Abramsky-Hankin,
	author = "S. Abramsky and C. Hankin",
	title = "Abstract Interpretation of Declarative Languages",
	publisher = "Ellis Horwood",
	address = "Chichester, UK",
	year = "1987" }

@article{Aho-Corasick,
	author = "A. V. Aho and M. J. Corasick",
	title = "Efficient String Matching:  An Aid to Bibliographic Search",
	journal = "Communications of the ACM", volume = "18", number = "6",
	year = "1975",
	pages = "333--340" }

@book{Aho-Hopcroft-Ullman-design,
	author = "A. V. Aho and John E. Hopcroft and J. D. Ullman",
	title = "The Design and Analysis of Computer Algorithms",
	publisher = "Addison-Wesley",
	year = "1974" }

@book{Aho-Hopcroft-Ullman-data,
	author = "A. V. Aho and John E. Hopcroft and J. D. Ullman",
	title = "Data Structures and Algorithms",
	publisher = "Prentice-Hall",
	year = "1983" }

@book{Anderson-Belnap,
	author = "Alan Ross Anderson and Nuel D. {Belnap Jr.}",
	title = "Entailment---the Logic of Relevance and Necessity",
	volume = "1",
	publisher = "Princeton University Press",
	address = "Princeton, NJ",
	year = "1975" }

@book{Andrews,
	author = "Peter B. Andrews",
	title = "An Introduction to Mathematical Logic and Type Theory:
		 To Truth Through Proof",
	publisher = "Academic Press",
	address = "New York, NY",
	series = "Computer Science and Applied Mathematics",
	year = "1986" }

@inproceedings{Antoy-Echahed-Hanus,
	author = "Sergio Antoy and Rachid Echahed and Michael Hanus",
	title = "A Needed Narrowing Strategy",
	booktitle = "Proceedings of the 21st ACM Symposium on Principles of
		     Programming Languages",
	organization = "ACM",
	pages = "268--279",
	month = "January",
	year = "1994" }

@incollection{Appel,
	author = "Andrew Appel",
	title = "Garbage Collection",
	booktitle = "Topics in Advanced Language Implementation Techniques",
	editor = "Peter Lee",
	publisher = "MIT Press",
	year = "1991" }

@article{Ashcroft-Wadge-formal,
	author = "E. Ashcroft and W. Wadge",
	title = "Lucid: A Formal System for Writing and Proving Programs",
	journal = "SIAM Journal on Computing",
	volume = "5",
	number = "3",
	year = "1976",
	pages = "336--354" }

@article{Ashcroft-Wadge-nonprocedural,
	author = "E. Ashcroft and W. Wadge",
	title = "Lucid: A Nonprocedural Language with Iteration",
	journal = "Communications of the ACM",
	volume = "20",
	number = "7",
	year = "1977",
	pages = "519--526" }

@inproceedings{Augustsson,
	author = "Lennart Augustsson",
	title = "A Compiler for Lazy {ML}",
	booktitle = "ACM Symposium on Lisp and Functional Programming",
	month = "August",
	year = "1984" }

@inproceedings{Backus-red,
	author = "John Backus",
	title = "Programming Language Semantics and Closed Applicative
                 Languages",
        booktitle = "Proceedings of the 1st ACM Symposium on Principles of
                      Programming Languages",
	organization = "ACM",
        year = "1974",
        pages = "71--86" }

@article{Backus-turing,
	author = "John Backus",
        title = "Can Programming Be Liberated from the von {Neumann}
                  Style? A Functional Style and its Algebra of Programs",
        journal = "Communications of the ACM",
        volume = "21",
        number = "8",
	year = "1978",
	pages = "613--641" }

@inproceedings{Baird-Peterson-Wilkerson,
	author = "T. Baird and G. Peterson and R. Wilkerson",
	title = "Complete Sets of Reductions Modulo Associativity,
		 Commutativity, and Identity",
	booktitle = "Proceedings of the 3rd International Conference on
		      Rewriting Techniques and Applications",
	pages = "29--44",
	year = "1989",
	series = "Lecture Notes in Computer Science",
	volume = "355" }

@book{Barendregt,
	author = "Hendrik Peter Barendregt",
	title = "The Lambda Calculus: Its Syntax and Semantics",
	publisher = "North-Holland",
	address = "Amsterdam",
	year = "1984" }

@book{Belnap-Steel,
	author = "Nuel D. {Belnap Jr.} and T. B. Steel",
	title = "The Logic of Questions and Answers",
	publisher = "Yale University Press",
	address = "New Haven, CT",
	year = "1976" }

@misc{Berry-Levy,
	author = "G\'erard Berry and Jean-Jacques L\'evy",
	title = "Letter to the Editor, {SIGACT News}, v. 11, no. 1",
	year = "1979",
	note = "pp. 3--4" }

@book{Bird-Wadler,
	author = "R. Bird and P. Wadler",
	title = "Introduction to Functional Programming",
	publisher = "Prentice-Hall",
	address = "New York, NY",
	year = "1988" }

@article{Bloss-Hudak-Young,
	author = "A. Bloss and Paul Hudak and J. Young",
	title = "Code Optimizations for Lazy Evaluation",
	journal = "Lisp and Symbolic Computation: an International Journal",
	volume = "1",
	year = "147--164" }

@article{Bobrow-Clark,
	author = "D. Bobrow and D. Clark",
	title = "Compact Encodings of List Structure",
	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "1",
	number = "2",
	year = "1979",
	pages = "266-286" }

@incollection{Bondorf,
	author = "Anders Bondorf",
	title = "A Self-Applicable Partial Evaluator for Term-Rewriting
		 Systems",
	booktitle =  "International Joint Conference on the Theory and Practice
		      of Software Development",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "352",
	year = "1989" }

@inproceedings{Brooks-Gabriel-Steele,
	author = "R. A. Brooks and R. P. Gabriel and Guy L. Steele",
	title = "An Optimizing Compiler for Lexically Scoped {Lisp}",
	booktitle = "Proceedings of the 1982 ACM Compiler Construction
		     Conference",
	month = "June",
	year = "1982" }

@inproceedings{Buneman-Frankel,
	author = "O. P. Buneman and R. E. Frankel",
	title = "{FQL} --- A Functional Query Language",
	booktitle = "Proceedings of the {ACM SIGMOD} International Conference
		on Management of Data",
	organization = "SIGMOD",
	month = "May--June",
	year = "1979",
	pages = "52--57" }

@inproceedings{Burn-Peyton-Jones-Robson,
	author = "G. L. Burn and Simon L. {Peyton Jones} and J. D. Robson",
	title = "The Spineless G-Machine",
	booktitle = "Proceedings of the 1988 ACM Conference on Lisp and
		     Functional Programming",
	year = "1988",
	pages = "244--258" }

@inproceedings{Burstall-Goguen,
	author = "R. M. Burstall and J. A. Goguen",
	title = "The Semantics of {Clear}, a Specification Language",
	booktitle = "Proceedings of the 1979 Copenhagen Winter School on
		Abstract Software Specification",
	series = "Lecture Notes in Computer Science",
	volume = "86",
	year = "1980",
	pages = "292--332" }

@article{Cardelli-functional,
	author = "Luca Cardelli",
	title = "The Functional Abstract Machine",
	journal = "Polymorphism",
	volume = "1",
	number = "1",
	year = "1983" }

@inproceedings{Cardelli-compiling,
	author = "Luca Cardelli",
	title = "Compiling a Functional Language",
	booktitle = "Proceedings of the ACM Symposium on Lisp and
		     Functional Programming",
	month = "August",
	year = "1984" }

@inproceedings{Chase,
	author = "D. R. Chase",
	title = "An Improvement to Bottom-up Tree Pattern Matching",
	booktitle = "14th Annual Symposium on Principles of Programming
		Languages",
	organization = "ACM and Gesellschaft {F\"ur} Informatik",
	year = "1987" }

@incollection{Chen-O'Donnell,
	author = "Yiyun Chen and Michael James O'Donnell",
	title = "Testing Confluence of Nonterminating Overlapping Systems of
                 Rewrite Rules",
        booktitle = "Conditional and Typed Rewriting Systems
                     2nd International CTRS Workshop, Montreal, June 1990",
        series = " Lecture Notes in Computer Science",
	volume = "516",
	publisher = "Springer-Verlag",
	year = "1991",
	pages = "127--136" }

@techreport{Cheng-Omdahl-Strawn,
	author = "F. Cheng and S. Omdahl and G. Strawn",
	title = "Idiom Matching:  
		An Optimization Technique for an APL Compiler",
	institution = "Iowa State University",
	year = "1982" }

@inproceedings{Chew-congruence,
	author = "Leslie Paul Chew",
	title = "An Improved Algorithm for Computing With Equations",
	booktitle = "21st Annual Symposium on Foundations of Computer Science",
	organization = "IEEE",
	year = "1980",
	pages = "108--117" }

@inproceedings{Chew-nonlinear,
	author = "Leslie Paul Chew",
	title = "Unique Normal Forms In Term Rewriting Systems With Repeated
		Variables",
	booktitle = "13th Annual ACM Symposium on Theory of Computing",
	year = "1981",
	pages = "7--18" }

@book{Church,
	author = "A. Church",
	title = "The Calculi of Lambda-Conversion",
	publisher = "Princeton University Press",
	address = "Princeton, New Jersey",
	year = "1941" }

@inproceedings{Clarke-Gladstone-MacLean-Norman,
	author = "T. J. W. Clarke and P. J. S. Gladstone and C. D. MacLean
	          and A. C. Norman",
	title = "The S, K, I Reduction Machine",
	booktitle = "Proceedings of the 1980 Lisp Conference",
	note = "Stanford University",
	year = "1980",
	pages = "128--135" }

@article{Codd-model,
	author = "E. F. Codd",
	title = "A Relational Model of Data for Large Shared Data Banks",
	journal  = "Communications of the ACM",
	volume = "13",
	number = "6",
	year = "1970",
	month = "June" }

@inproceedings{Codd-sublanguage,
	author = "E. F. Codd",
	title = "A Data Base Sublanguage Founded on the Relational Calculus",
	booktitle = "Proceedings of the 1971 ACM SIGFIDET Workshop on
		     Data Description, Access and Control",
	year = "1971" }

@incollection{Codd-complete,
	author = "E. F. Codd",
	title = "Relational Completeness of Data Base Sublanguages",
	booktitle = "Data Base Systems",
	publisher = "Prentice-Hall",
	series = "Courant Computer Science Symposia",
	volume = "6",
	address = "Englewood Cliffs, NJ",
	year = "1972" }

@article{Cohen,
	author = "J. Cohen",
	title = "Garbage Collection of Linked Data Structures",
	journal = "Computing Surveys",
	volume = "13",
	number = "3",
	year = "1981",
	month = "September" }

@book{Cohn,
	author = "P. M. Cohn",
	title = "Universal Algebra",
	publisher = "Harper and Row",
	address = "New York, NY",
	year = "1965" }

@book{Cohn-measure,
	author = "Donald L. Cohn",
	title = "Measure Theory",
	publisher = "Birkhauser",
	year = "1980",
	address = "Boston, MA" }

@book{Constable-Allen-Bromley,
	author = "Robert L. Constable and S. F. Allen and H. M. Bromley and
		  W. R. Cleaveland and J. F. Cremer and R. W. Harper and
		  D. J. Howe and Todd B. Knoblock and N. P. Mendler and
		  Prakesh Panangaden and J. T. Sasaki and Scott F. Smith",
	title = "Implementing Mathematics with the Nuprl Proof Development
		 System",
	publisher = "Prentice-Hall",
	address = "Englewood Cliffs, NJ",
	year = "1986" }

@inproceedings{Cousineau-Curien-Mauny,
	author = "G. Cousineau and P.-L. Curien and M. Mauny",
	title = "The Categorical Abstract Machine",
	booktitle = "Symposium on Functional Programming Languages and Computer
		     Architecture",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "201",
	year = "1985" }

@inproceedings{Cousot,
        author = "P. Cousot and R. Cousot",
        title = "Abstract interpretation: A unified framework for
		  static analysis of programs by construction or
		  approximation of fixpoints",
        booktitle = "Fourth Annual ACM Symposium on Principles of
		  Programming Languages",
        organization = "ACM",
        year = "1977" }

@book{Curry-Feys,
	author = "H. B. Curry and R. Feys",
	title = "Combinatory Logic", volume = "1",
	publisher = "North-Holland", address = "Amsterdam",
	year = "1958" }

@book{Date,
	author = "C. J. Date",
	title = "An Introduction to Database Systems",
	publisher = "Addison-Wesley",
	address = "Reading, MA",
	series = "Systems Programming",
	edition = "4",
	year = "1986" }

@inproceedings{Demers-Reps-Teitelbaum,
	author = "Alan Demers and Thomas Reps and Tim Teitelbaum",
	title = "Incremental Evaluation of Attribute Grammars with Application
		 to Syntax-Directed Editors",
	booktitle = "Conference Record of the Thirteenth Annual ACM
		     Symposium on Principles of Programming Languages",
	year = "1981",
	organization = "ACM",
	pages = "105--116" }

@article{Dershowitz-termination,
	author = "Nachum Dershowitz",
	title = "Termination of rewriting",
	journal = "Journal of Symbolic Computation",
	volume = "3",
	pages = "69--116",
	year = "1987" }

@inproceedings{Dershowitz-Hsiang-Josephson-Plaisted,
	author = "Nachum Dershowitz and Jieh Hsiang and N. Josephson
		  and David A. Plaisted",
	title = "Associative-Commutative Rewriting",
	booktitle = "Proceedings of the Eighth International
		     Joint Conference on Artificial Intelligence",
	pages = "940--944",
	month = "August",
	year = "1983" }

@article{Dershowitz-Kaplan-Plaisted,
	author = "Nachum Dershowitz and Simon Kaplan and David A. Plaisted",
	title = "Rewrite, rewrite, rewrite, rewrite, rewrite",
	journal = "Theoretical Computer Science",
	volume = "83",
	pages = "71--96",
	year = "1991" }

@article{Digricoli-Harrison,
	author = "V. J. Digricoli and M. C. Harrison",
	title = "Equality-Based Binary Resolution",
	journal = "Journal of the ACM", volume = "33", number = "2",
	year = "1986",
	pages = "253--289" }

@book{Dijkstra,
	author = "Edsger W. Dijkstra",
	title = "A Discipline of Programming",
	publisher = "Prentice-Hall",
	address = "Englewood Cliffs, NJ",
	year = "1976" }

@article{Downey-Sethi-Tarjan,
	author = "P. J. Downey and R. Sethi and R. E. Tarjan",
	title = "Variations on the Common Subexpression Problem",
	journal = "Journal of the ACM", volume = "27", number = "4",
	year = "1980",
	pages = "758--771" }

@article{Durand,
	author = "Ir\`ene Durand",
	title = "Bounded, Strongly Sequential, and Forward-Branching
		 Term-Rewriting Systems",
	journal = "Journal of Symbolic Computation",
	note = "to appear",
	year = "1994" }

@article{Durand-Salinier,
	author = "Ir\`ene Durand and Bruno Salinier",
	title = "Constructor Equivalent Term Rewriting Systems",
	journal = "Information Processing Letters",
	volume = "47",
	year = "1993" }

@inproceedings{Durand-Sherman-Strandh,
	author = "Ir\`ene Durand and David J. Sherman and Robert I. Strandh",
	title = "Optimization of Equational Programs Using Partial Evaluation",
	booktitle = "Proceedings of the ACM/IFIP Symposium on
		     Partial Evaluation and Semantics-Based
		     Program Manipulation, New Haven, CT",
	year = "1991" }

@article{Dwelly,
	author = "Andrew Dwelly",
	title = "Synchronizing the {I/O} Behavior of Functional Programs
		 with Feedback",
	journal = "Information Processing Letters",
	volume = "28",
	year = "1988" }

@inproceedings{Fagin-Halpern-Vardi,
	author = "Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi",
	title = "A Model-Theoretic Analysis of Knowledge",
	booktitle = "Proceedings of the 25th Annual IEEE Symposium on
		     Foundations of Computer Science",
	year = "1984",
	pages = "268--278" }

@inproceedings{Fay,
	author = "M. Fay",
	title = "First Order Unification in Equational Theories",
	booktitle = "Proceedings of the 4th Workshop on Automated Deduction",
	pages = "161--167",
	publisher = "Springer-Verlag",
	year = "1979",
	volume = "87",
	series = "Lecture Notes in Computer Science" }

@book{Field-Harrison,
	author = "A. J. Field and P. G. Harrison",
	title = "Functional Programming",
	publisher = "Addison-Wesley",
	year = "1988" }

@inproceedings{Field-Teitelbaum,
        author = "John Field and Tim Teitelbaum",
        title = "Incremental reduction in the lambda calculus",
        booktitle = "Proceedings of the 1990 ACM Conference on Lisp
		  and Functional Programming",
        pages = "307--322",
        publisher = "ACM Press",
        year = "1990" }

@inproceedings{Friedman-Wise,
	author = "Daniel Friedman and David S. Wise",
	title = "Cons Should Not Evaluate Its Arguments",
	booktitle = "3rd International Colloquium on Automata, Languages and
		Programming",
	publisher = "Edinburgh University Press",
	year = "1976",
	pages = "257--284" }

@inproceedings{Futatsugi-Goguen-Jouannaud-Meseguer,
	author = "K. Futatsugi and Joseph A. Goguen and J.-P. Jouannaud and 
	Jos\'e Meseguer",
	title = "Principles of {OBJ2}",
	booktitle = "12th Annual Symposium on Principles of Programming
		Languages",
	organization = "ACM",
	year = "1985",
	pages = "52--66" }

@article{Gallaire-Minker-Nicolas,
	author = "Herv\'e Gallaire and Jack Minker and J. M. Nicolas",
	title = "Databases: A Deductive Approach",
	journal = "ACM Computing Surveys",
	volume = "16",
	number = "2",
	year = "1984",
	month = "June" }

@book{Gallier,
	author = "Jean H. Gallier",
	title = "Logic for Computer Science---Foundations of Automatic
		 Theorem Proving",
	publisher = "Harper \& Row",
	address = "New York, NY",
	year = "1986" }

@article{Gentzen,
	author = "Gerhard Gentzen",
	title = "Untersuchungen {\"u}ber das Logische Schlie\ss en",
	journal = "Mathematische Zeitschrift",
	volume = "39",
	year = "1935",
	pages = "176--210, 405--431",
	note = "English translation in
                \cite{Gentzen-english}" }

@incollection{Gentzen-english,
	author = "Gerhard Gentzen",
	title = "Investigations into Logical Deductions, 1935",
	booktitle = "The Collected Works of Gerhard Gentzen",
	editor = "M. E. Szabo",
	publisher = "North-Holland",
	address = "Amsterdam",
	year = "1969",
	pages = "68--131" }

@incollection{Gentzen-english-collection,
	author = "Gerhard Gentzen",
	title = "Investigations into Logical Deductions",
	booktitle = "The Collected Works of Gerhard Gentzen",
	editor = "M. E. Szabo",
	publisher = "North-Holland",
	address = "Amsterdam",
	year = "1969",
	pages = "68--128" }

@book{Girard,
        author = "Jean-Yves Girard and Yves Lafont and Paul Taylor",
        title = "Proofs and Types",
        series = "Cambridge Tracts in Theoretical Computer Science",
        publisher = "Cambridge University Press",
        address = "Cambridge, UK",
        year = "1989" }        

@inproceedings{Goguen,
	author = "Joseph A. Goguen",
	title = "Abstract Errors for Abstract Data Types",
	booktitle = "Proceedings of IFIP  Working Conference on Formal
		     Description of Program Concepts",
	editor = "E. J. Neuhold",
	publisher = "North-Holland",
	year = "1977" }

@incollection{Goguen-higher,
	author = "Joseph A. Goguen",
	title = "Higher Order Functions Considered Unnecessary for
		 Higher Order Programming",
	editor = "David A. Turner",
	booktitle = "Research Topics in Functional Programming",
	publisher = "Addison-Wesley",
	year = "1990",
	pages = "309--351" }

@article{Goguen-Burstall,
	author = "Joseph A. Goguen and Rod M. Burstall",
	title = "Institutions: Abstract Model Theory for Specification and
		 Programming",
	journal = "Journal of the ACM",
	volume = "39",
	number = "1",
	year = "1992",
	month = "January",
	pages = "95--146" }

@incollection{ADJ,
	author = "Joseph A. Goguen and James Thatcher and Eric Wagner",
	title = "An Initial Algebra Approach to the Specification,
		 Correctness and Implementation of Abstract Data Types",
	booktitle = "Current Trends in Programming Methodology",
	editor = "Raymond Yeh",
	publisher = "Prentice-Hall",
	year = "1978",
	pages = "80--149" }

@inproceedings{Gonthier-Abadi-Levy,
	author = "Georges Gonthier and  Mart\'in Abadi and
		  Jean-Jacques L\'evy",
	title = "The Geometry of Optimal Lambda Reduction",
	booktitle = "Conference Record of the Nineteenth Annual
		     ACM Symposium on Principles of Programming Languages",
	organization = "ACM",
	year =  "1992",
	pages = "15--26" }

@phdthesis{Gordon,
	author = "Andrew D. Gordon",
	title = "Functional Programming and Input/Output",
	school = "University of Cambridge",
	year = "1992" }

@book{Graetzer,
	author = "G. Gr{\"a}tzer",
	title = "Universal Algebra",
	publisher = "Van Nostrand",
	address = "Princeton, NJ",
	year = "1968" }

@book{Gunter,
        author = "Carl A. Gunter",
	title = "Semantics of Programming Languages: Structures and
		 Techniques",
	publisher = "MIT Press",
	address = "Cambridge, MA",
	series = "Foundations of Computing",
	year = "1992" }

@article{Guttag-Horning,
	author = "John V. Guttag and J. J. Horning",
	title = "The Algebraic Specification of Abstract Data Types",
	journal = "Acta Informatica",
	volume = "10",
	number = "1",
	year = "1978",
	pages = "1--26" }

@article{Guttag-Kapur-Musser,
	author = "John V. Guttag and Deepak Kapur and David Musser",
	title = "On Proving Uniform Termination and Restricted Termination of
		 Rewriting Systems",
	journal = "SIAM Journal on Computing",
	volume = "12",
	pages = "189--214",
	year = "1983" }

@article{Heering-Klint,
	author = "J. Heering and P. Klint",
	title = "The Efficiency of the Equation Interpreter Compared with the
		{UNH} {Prolog} Interpreter",
	journal = "SIGPLAN Notices", volume = "21", number = "2",
	year = "1986",
	pages = "18--21" }

@book{Henderson,
	author = "P. Henderson",
	title = "Functional Programming---Application and Implementation",
	publisher = "Prentice-Hall",
	year = "1980" }

@inproceedings{Henderson-Morris,
	author = "P. Henderson and J. H. Morris",
	title = "A Lazy Evaluator",
	booktitle = "3rd Annual ACM Symposium on 
		Principles of Programming Languages",
	organization = "SIGPLAN and SIGACT",
	year = "1976",
	pages = "95--103" }

@article{Hoffmann-O'Donnell-programming,
	author = "C. M. Hoffmann and M. J. O'Donnell",
	title = "Programming With Equations",
	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "4", number = "1",
	year = "1982",
	pages = "83--112" }

@article{Hoffmann-O'Donnell-pattern,
	author = "C. M. Hoffmann and M. J. O'Donnell",
	title = "Pattern Matching in Trees",
	journal = "Journal of the ACM", volume = "29", number = "1",
	year = "1982",
	pages = "169--179" }

@inproceedings{Hoffmann-O'Donnell-POPL1,
	author = "C. M. Hoffmann and M. J. O'Donnell",
	title = "Interpreter Generation Using Tree Pattern Matching",
	booktitle = "6th Annual Symposium on 
		Principles of Programming Languages",
	organization = "SIGPLAN and SIGACT",
	year = "1979",
	pages = "169--179" }

@article{Hoffmann-O'Donnell-Strandh,
	author = "C. M. Hoffmann and M. J. O'Donnell and R. I. Strandh",
	title = "Implementation of an Interpreter for Abstract Equations",
	journal = "Software --- Practice and Experience", 
	volume = "15", number = "12",
	year = "1985",
	pages = "1185--1203" }

@incollection{Howard,
	author = "William Howard",
	title = "The Formulas-as-Types Notion of Construction",
	editor = "John P. Seldin and J. R. Hindley",
	booktitle = "To H. B. Curry: Essays on Combinatory Logic,
		     Lambda-Calculus, and Formalism",
	publisher = "Academic Press",
	address = "New York, NY",
	year = "1980",
	pages = "479--490" }

@article{Hudak,
	author = "Paul Hudak",
	title = "Conception, Evolution, and Application of Functional
		 Programming Languages",
	journal = "ACM Computing Surveys",
	volume = "21",
	number = "3",
	pages = "359--411",
	year = "1989" }

@article{Hudak-Peyton-Jones-Wadler,
	key = "Hudak",
	editor = "Paul Hudak and Simon L {Peyton Jones} and Phil Wadler",
	title = "Report on the Programming Language {Haskell}, A Non-Strict,
		 Purely Functional Language, Version 1.2",
	journal = "ACM SIGPLAN Notices",
	volume = "27",
	number = "5",
	year = "1992",
	month = "May" }

@techreport{Hudak-Sundaresh,
	author = "Paul Hudak and Raman S. Sundaresh",
	title = "On the Expressiveness of Purely Functional {I/O} Systems",
	institution = "Yale University",
	number = "YALEU/DCS/RR665",
	address = "New Haven, CT",
	year = "1988",
	month = "December" }

@article{Huet,
        author = "G. Huet",
        title = "Confluent Reductions: Abstract properties and
		  applications to term rewriting",
        journal = "Journal of the ACM",
        volume = "27",
        number = "4",
        pages = "797--821",
        month = "October",
        year = "1980" }

@incollection{Huet-Levy,
	author = "G\'erard Huet and Jean-Jacques L\'evy",
	title = "Computations in Orthogonal Rewriting Systems",
	booktitle = "Computational Logic---Essays in Honor of Alan Robinson",
	editor = "Jean-Louis Lassez and Gordon Plotkin",
	publisher = "MIT Press",
	address = "Cambridge, MA",
	year = "1991",
	pages = "395--443" }

@incollection{Huet-Oppen,
	author = "G. Huet and D. Oppen",
	title = "Equations and Rewrite Rules: a Survey",
	booktitle = "Formal Languages:  Perspectives and Open Problems",
	editor = "R. Book",
	publisher = "Academic Press",
	year = "1980" }

@incollection{Hughes,
	author = "J. Hughes",
	title = "Lazy Memo-Functions",
	booktitle = "Functional Programming Languages and Computer
		     Architecture",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "201",
	year = "1985",
	pages = "129--146" }

@inproceedings{Hughes-super,
	author = "R. J. M. Hughes",
	title = "Super-Combinators: A New Implementation Method for
		 Applicative Languages",
	booktitle = "ACM Symposium on Lisp and Functional Programming",
	month = "August",
	year = "1982" }

@incollection{Hughes-strict,
	author = "R. J. M. Hughes",
	title = "Strictness Detection in Non-Flat Domains",
	booktitle = "Workshop on Programs as Data Objects",
	editor = "Neil Jones and Harald Ganzinger",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "217",
	year = "1985" }

@book{Iverson,
	author = "K. E. Iverson",
	title = "A Programming Language",
	publisher = "John Wiley and Sons, Inc.",
	address = "New York, NY",
	year = "1962" }

@inproceedings{Jaffar-Lassez,
	author = "Joxan Jaffar and Jean-Louis Lassez",
	title = "Constraint Logic Programming",
	booktitle = "Fourteenth Annual ACM Symposium
		     on Principles of Programming Languages",
	year = "1987",
	pages = "111--119" }

@techreport{Jayaraman,
	author = "Bharat Jayaraman",
	title = "Equational Programming: A Unifying Approach to Functional
		and Logic Programming",
	institution = "The University of North Carolina",
	number = "85-030",
	year = "1985" }

@article{Jayaraman-subset,
	author = "Bharat Jayaraman",
	title = "Implementation of Subset-Equational Programming",
	journal = "The Journal of Logic Programming",
	volume = "12",
	number= "4",
	month= "April",
	year= "1992"}

@inproceedings{Johnsson,
	author = "Thomas Johnsson",
	title = "Efficient Compilation of Lazy Evaluation",
	booktitle = "Proceedings of the ACM SIGPLAN'84 Symposium on Compiler
		     Construction",
	note = "SIGPLAN Notices 19(6) June, 1984",
	year = "1984" }

@techreport{Kahn-Plotkin,
	author = "Gilles Kahn and Gordon Plotkin",
	title = "Domaines Concrets",
	institution = "IRIA Laboria",
	address = "LeChesnay, France",
	year = "1978" }

@techreport{Kapur-Krishnamoorthy-Narendran,
	author = "Deepak Kapur and M. S. Krishnamoorthy and P. Narendran",
	title = "A New Linear Algorithm for Unification",
	institution = "General Electric",
	number = "82CRD-100",
	year = "1982" }

@techreport{Karlsson,
	author = "K. Karlsson",
	title = "Nebula, a Functional Operating System",
	institution = "Chalmers University",
	year = "1981" }

@book{Karp,
	author = "Carol R. Karp",
	title = "Languages with Expressions of Infinite Length",
	publisher = "North-Holland",
	address = "Amsterdam",
	year = "1964" }

@article{Keller-Sleep,
	author = "R. M. Keller and M. R. Sleep",
	title = "Applicative Caching",
	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "8",
	number = "1",
	year = "1986",
	pages = "88--108" }

@inproceedings{Kenneway-Klop-Sleep,
	author = "J. R. Kenneway and Jan Willem Klop and M. R. Sleep and
		  F. J. {de Vries}",
	title = "Transfinite Reductions in Orthogonal Term Rewriting Systems",
	booktitle = "Proceedings of the 4th International Conference on
		     Rewriting Techniques and Applications",
	publisher = "Springer-Verlag",
	year = "1991",
	series = "Lecture Notes in Computer Science",
	volume = "488" }

@book{Kleene,
	author = "Steven Cole Kleene",
	title = "Introduction to Metamathematics",
	publisher = "North-Holland",
	address = "Amsterdam",
	series = "Biblioteca Mathematica",
	volume = "1",
	year = "1952" }

@phdthesis{Klop-thesis,
	author = "Jan Willem Klop",
	title = "Combinatory Reduction Systems",
	school = "Mathematisch Centrum",
	address = "Amsterdam",
	year = "1980" }

@incollection{Klop-term,
	author = "Jan Willem Klop",
	title = "Term Rewriting Systems",
	editor = "S. Abramsky and Dov M. Gabbay and T. S. E. Maibaum",
	booktitle = "Handbook of Logic in Computer Science",
	volume = "1",
	chapter = "6",
	publisher = "Oxford University Press",
	address = "Oxford",
	year = "1991" }

@article{Klop-Middledorp,
	author = "Jan Willem Klop and A. Middeldorp",
	title = "Sequentiality in Orthogonal Term Rewriting Systems",
	journal = "Journal of Symbolic Computation",
	volume = "12",
	pages = "161--195",
	year = "1991" }

@book{Knuth-3,
	author = "Donald E. Knuth",
	title = "The Art of Computer Programming---Sorting and Searching",
	publisher = "Addison-Wesley",
	address = "Reading, MA",
	volume = "3",
	year = "1973" }

@incollection{Knuth-Bendix,
	author = "Donald E. Knuth and P. Bendix",
	title = "Simple Word Problems in Universal Algebras",
	booktitle = "Computational Problems in Abstract Algebra",
	editor = "J. Leech",
	publisher = "Pergamon Press", address = "Oxford",
	year = "1970",
	pages = "127--146" }

@article{Knuth-Morris-Pratt,
	author = "Donald E. Knuth and J. Morris and V. Pratt",
	title = "Fast Pattern Matching in Strings",
	journal = "SIAM Journal on Computing", volume = "6", number = "2",
	year = "1977",
	pages = "127--146" }

@book{Koopman,
	author = "Philip J. Koopman",
	title = "An Architecture for Combinator Graph Reduction",
	publisher = "Academic Press",
	address = "Boston, MA",
	year = "1990" }

@inproceedings{Koopman-Lee,
	author = "Philip J. Koopman and Peter Lee",
	title = "A Fresh Look at Combinator Graph Reduction",
	booktitle = "Proceedings of the SIGPLAN'89 Conference on
		     Programming Language Design and Implementation",
	month = "October",
	year = "1989" }

@inproceedings{Kowalski-predicate,
	author = "R. Kowalski",
	title = "Predicate Logic as a Programming Language",
	booktitle = "Information Processing 74",
	publisher = "North-Holland",
	year = "1974",
	pages = "569-574" }

@article{Kowalski-algorithm,
	author = "R. Kowalski",
	title = "Algorithm = Logic + Control",
	journal = "Communications of the ACM",
	volume = "22",
	number = "7",
	year = "1979",
	pages = "424--436" }

@book{Kowalski-logic,
	author = "R. Kowalski",
	title ="Logic for Problem Solving",
	publisher = "Elsevier North-Holland",
	address = "New York, NY",
	year = "1979" }

@inproceedings{Kozen,
	author = "D. Kozen",
	title = "Complexity of Finitely Presented Algebras",
	booktitle = "9th Annual ACM Symposium on Theory of Computing",
	year = "1977",
	pages = "164--177" }

@inproceedings{Lamping,
	author = "John Lamping",
	title = "An Algorithm for Optimal Lambda Calculus Reduction",
	booktitle = "Conference Record of the Seventeenth Annual ACM
		     Symposium on Principles of Programming Languages",
	organization = "ACM",
	year = "1990",
	pages = "16--30" }

@article{Landin,
	author = "P. J. Landin",
	title = "A Correspondence Between {ALGOL} 60 and
		 {Church}'s Lambda-Notation: Part {I}",
	journal = "Communications of the ACM",
	volume = "8",
	number = "2",
	year = "1965",
	pages = "89-101" }

@inproceedings{Lassez,
        author = "Jean-Louis Lassez",
        title = "From {LP} to {CLP}: Programming with Constraints",
        booktitle = "Theoretical Aspects of Computer Software:
		  International Conference",
        editor = "T. Ito and A. R. Meyer",
        volume = "526",
        publisher = "Springer-Verlag",
        series = "Lecture Notes in Computer Science",
        year = "1991" }

@phdthesis{Levy,
	author = "Jean-Jacques L{\'e}vy",
	title = "Reductions Correctes et Optimales dans le Lambda-Calcul",
	school = "Universit\'e Paris",
	year = "1978",
	month = "January" }

@article{Lieberman-Hewitt,
	author = "Henry Lieberman and Carl Hewitt",
	title = "A Real-Time Garbage Collector Based on the Lifetimes of
		 Objects",
	journal = "Communications of the ACM",
	volume = "26",
	number = "6",
	pages = "419--429",
	year = "1983",
	month = "June" }

@book{Loveland,
	author = "Donald W. Loveland",
	title = "Automated Theorem Proving: A Logical Basis",
	publisher = "Elsevier North-Holland",
	address = "New York, NY",
	year = "1978" }

@book{MacLane-Birkhoff,
	author = "Saunders {Mac Lane} and G. Birkhoff",
	title = "Algebra",
	publisher = "Macmillan",
	address = "New York, NY",
	year = "1967" }

@book{Maier-Warren,
	author = "David Maier and David S. Warren",
	title = "Computing with Logic---Logic Programming with Prolog",
	publisher = "Benjamin Cummings",
	address = "Menlo Park, CA",
	year = "1988" }

@book{Machtey-Young,
	author = "Michael Machtey and Paul Young",
	title = "An Introduction to the General Theory of Algorithms",
	publisher = "North-Holland",
	address = "New York, NY",
	series = "Theory of Computation",
	year = "1978" }

@article{Markowsky,
	author = "G. Markowsky",
	title = "Chain-complete Posets and Directed Sets with Applications",
	journal = "Algebra Universalis",
	volume = "6",
	year = "1976",
	pages = "53--68" }

@techreport{Martelli-Montanari,
	author = "A. Martelli and U. Montanari",
	title = "Unification in Linear Time and Space:
		 A Structured Presentation",
	institution = "Institut di Elaborazione delle Informazione, Consiglio
		       Nazionale delle Ricerche",
	address = "Pisa, Italy",
	number = "B76-16",
	year = "1976" }

@article{McCarthy,
	author = "John McCarthy",
	title = "Recursive Functions of Symbolic Expressions and Their
		Computation by Machine, Part {I}",
	journal = "Communications of the ACM", volume = "3", number = "4",
	year = "1960",
	pages = "184--195" }

@book{McCarthy-Abrahams-Edwards-Hart-Levin,
	author = "John McCarthy and Paul W. Abrahams and Daniel J. Edwards and
		  Timothy P. Hart and Michael I. Levin",
	title = "LISP 1.5 Programmer's Manual",
	publisher = "MIT Press",
	address = "Cambridge, MA",
	year = "1965" }

@inproceedings{Meseguer-general,
	author = "Jos\'e Meseguer",
	title = "General Logics",
	booktitle = "Logic Colloquium '87: Proceedings of the Colloquium
		     held in Granada, Spain July 20--25, 1987",
	editor = "H.-D. Ebbinghaus et. al.",
	publisher = "Elsevier North-Holland",
	address = "Amsterdam",
	year = "1989" }

@incollection{Meseguer-multiparadigm,
	author = "Jos\'e Meseguer",
	title = "Multiparadigm Logic Programming",
	booktitle = "Proceedings of the 3rd International Conference on
		     Algebraic and Logic Programming, Volterra, Italy,	
		     September 1992",
	editor = "H. Kirchner and G. Levi",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	year = "1992" }

@incollection{Meseguer-Goguen,
	author = "Jos\'e Meseguer and Joseph A. Goguen",
	title = "Initiality, Induction, and Computability",
	editor = "Maurice Nivat and John Reynolds",
	booktitle = "Algebraic Methods in Semantics",
	pages = "459--541",
	publisher = "Cambridge University Press",
	year = "1985" }

@article{Miller-Nadathur-Pfenning-Scedrov,
	author = "Dale Miller and Gopalan Nadathur and Frank Pfenning and
		  Andre Scedrov",
	title = "Uniform Proofs as a Foundation for Logic Programming",
	journal = "Annals of Pure and Applied Logic",
	year = "1991",
	volume = "51",
	pages = "125--157" }

@article{Mitchie,
	author = "D. Mitchie",
	title = "`{Memo}' Functions and Machine Learning",
	journal = "Nature",
	year = "1968" }

@inbook{Mostowski,
        author = "Andrzej Mostowski and Raphael M. Robinson and Alfred Tarski",
        title = "Undecidability and Essential Undecidability in Arithmetic",
        booktitle = "Undecidable Theories",
        chapter = "II",
        pages = "37--74",
        publisher = "North-Holland",
        series = "Studies in Logic and the Foundations of Mathematics",
        address = "Amsterdam",
        note = "Book author: Alfred Tarski in collaboration with
		  Andrzej Mostowski and Raphael M.\ Robinson.
                Series editors: L.\ E.\ J.\ Brouwer,
                  E.\ W.\ Beth, A.\ Heyting",
        year = "1953" }

@article{Moses,
	author = "Joel Moses",
	title = "The function of {FUNCTION} in {LISP}, or Why the {FUNARG}
		 Problem Should be Called the Environment Problem",
	journal = "ACM SIGSAM Bulletin",
	volume =  "15",
	year = "1970" }

@inproceedings{Muchnick-Pleban,
	author = "Steven S. Muchnick and Uwe F. Pleban",
	title = "A Semantic Comparison of {Lisp} and {Scheme}",
	booktitle = "Proceedings of the 1980 Lisp Conference",
	note = "Stanford University",
	year = "1980",
	pages = "56--64" }

@incollection{Mycroft,
	author = "Alan Mycroft",
	title = "The Theory and Practice of Transforming Call-by-need into
		 Call-by-value",
	booktitle = "International Symposium on Programming",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "83",
	year = "1980" }

@article{Nadathur-Miller-higher,
	author = "Gopalan Nadathur and Dale Miller",
	title = "Higher-Order {Horn} Clauses",
	journal = "Journal of the ACM",
	volume = "37",
	number = "4",
	year = "1990",
	month = "October",
	pages = "777--814" }

@inproceedings{Nadathur-Miller-lambda,
	author = "Gopalan Nadathur and Dale Miller",
	title = "An Overview of $\lambda${Prolog}",
	booktitle = "Proceedings of the 5th International Conference on
		     Logic Programming",
	publisher = "MIT Press",
	address = "Cambridge, MA",
	year = "1988",
	pages = "810--827" }

@article{Nelson-Oppen,
	author = "G. Nelson and D. C. Oppen",
	title = "Fast Decision Algorithms Based on Congruence Closure",
	journal = "Journal of the ACM", volume = "27", number = "2",
	year = "1980",
	pages = "356--364" }

@article{Newman,
	author = "M. H. A. Newman",
	title = "On Theories with a Combinatorial Definition of
		 `Equivalence'",
	journal = "Annals of Mathematics",
	volume = "43",
	number = "2",
	pages = "223--243",
	year = "1942" }

@book{O'Donnell-Springer,
	author = "Michael James O'Donnell",
	title = "Computing in Systems Described by Equations",
	series = "Lecture Notes in Computer Science", volume = "58",
	publisher = "Springer-Verlag",
	year = "1977" }

@misc{O'Donnell-letter,
	author = "Michael James O'Donnell",
	title = "Letter to the Editor, {SIGACT News}, v. 11, no. 2",
	year = "1979",
	note = "p. 2" }

@book{O'Donnell-MIT,
	author = "Michael James O'Donnell",
	title = "Equational Logic as a Programming Language",
	publisher = "MIT Press",
	series = "Foundations of Computing",
	address = "Cambridge, MA",
	year = "1985" }

@inproceedings{O'Donnell-bordeaux,
	author = "Michael James O'Donnell",
        title = "Tree-rewriting Implementation of Equational
		 Logic Programming",
	editor = "Pierre Lescanne",
	booktitle = "Rewriting Techniques and Applications ---
                     Bordeaux, France, May 1987 ---  Proceedings",
        series = "Lecture Notes in Computer Science",
	volume = "256",
	publisher = "Springer-Verlag",
        year = "1987" }

@inproceedings{O'Donnell-CREAS,
	author = "Michael James O'Donnell",
	title = "Survey of the Equational Logic Programming Project",
	booktitle = "Colloquium on  Resolution of Equations in Algebraic
		Structures",
	year = "1987" }

@phdthesis{Perry,
	author = "Nigel Perry",
	title = "The Implementation of Practical Functional Programming
		 Languages",
	school = "Imperial College of Science, Technology and Medicine,
		  University of London",
	year = "1991" }

@book{Peyton-Jones,
	author = "Simon L. {Peyton Jones}",
	title = "The Implementation of Functional Programming Languages",
	publisher = "Prentice-Hall",
	address = "Englewood Cliffs, NJ",
	year = "1987" }

@article{Pingali-Arvind-1,
	author = "Keshav Pingali and Arvind",
	title = "Efficient Demand-Driven Evaluation, Part 1",
	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "7",
	number = "2",
	month = "April",
	year = "1985",
	pages = "311--333" }

@article{Pingali-Arvind-2,
	author = "Keshav Pingali and Arvind",
	title = "Efficient Demand-Driven Evaluation, Part 2",
	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "8",
	number = "1",
	month = "January",
	year = "1986",
	pages = "109--139" }

@book{Prawitz,
	author = "Dag Prawitz",
	title = "Natural Deduction---a Proof-Theoretic Study",
	publisher = "Alqvist and Wiksell",
	address = "Stockholm",
	year = "1965" }

@inproceedings{Pugh-Teitelbaum,
	author = "William Pugh and Tim Teitelbaum",
	title = "Incremental Computation via Function Caching",
	booktitle = "Conference Record of the Sixteenth Annual ACM Symposium
		     on Principles of Programming Languages",
	organization = "ACM",
	year = "1989",
	pages = "315--328" }

@inproceedings{Ramakrishnan-Sekar,
	author = "I. V. Ramakrishnan and R. C. Sekar",
	title = "Programming in Equational Logic:
		 Beyond Strong Sequentiality",
	booktitle = "Proceedings of the IEEE Conference on Logic in
		     Computer Science",
	year = "1990" }

@incollection{Rebelsky-tree,
	author = "Samuel A. Rebelsky",
	title = "{I/O} Trees and Interactive Lazy Functional Programming",
	booktitle = "Proceedings of the Fourth International Symposium on
		     Programming Language Implementation and
		     Logic Programming",
	editor = "Maurice Bruynooghe and Martin Wirsing",
	year = "1992",
	month = "August",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "631",
	pages = "458--472" }

@phdthesis{Rebelsky-thesis,
	author = "Samuel A. Rebelsky",
	title = "Tours, a System for Lazy Term-Based Communication",
	school = "The University of Chicago",
	year = "1993",
	month = "June" }

@article{Rees-Clinger,
	key = "Rees Clinger",
	editor = "J. Rees and W. Clinger",
	title = "The $\mbox{Revised}^3$ Report on the Algorithmic Language
		 {Scheme}",
	journal = "ACM SIGPLAN Notices",
	volume = "21",
	number = "12",
	pages ="37--79",
	year = "1986" }

@incollection{Reiter-towards,
	author = "Raymond Reiter",
	title = "Towards a Logical Reconstruction of Relational Database
		 Theory",
	booktitle = "On Conceptual Modelling---Perspectives from Artificial
		     Intelligence, Databases, and Programming Languages",
	editor = "Michael L. Brodie and John Mylopoulos and
		  Joachim W. Schmidt",
	publisher = "Springer-Verlag",
	series = "Topics in Information Systems",
	year = "1984",
	pages = "191--233" }

@incollection{Reiter-closed,
	author = "Raymond Reiter",
	title = "On Closed World Databases",
	booktitle = "Logic and Databases",
	editor = "Herv\'e Gallaire and Jack Minker",
	publisher = "Plenum Press",
	year = "1978",
	pages = "149--178",
	note = "also appeared as \cite{Reiter-closeda}" }

@incollection{Reiter-closeda,
	author = "Raymond Reiter",
	title = "On Closed World Databases",
	booktitle = "Readings in Artificial Intelligence",
	editor = "Bonnie Lynn Webber and Nils J. Nilsson",
	publisher = "Tioga",
	address = "Palo Alto, CA",
	year = "1981",
	pages = "119--140" }

@book{Reps,
	author = "Thomas Reps",
	title = "Generating Language-Based Environments",
	publisher = "MIT Press",
	address = "Cambridge, MA",
	year = "1984" }

@article{Reps-Teitelbaum-Demers,
	author = "Thomas Reps and Timothy Teitelbaum and Allan Demers",
	title = "Incremental Context-Dependent Analysis for Language-Based
		 Editors",
	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "5",
	number = "3",
	year = "1983",
	pages = "449--477" }

@inproceedings{Reynolds,
	author = "John C. Reynolds",
	title = "On the Interpretation of {Scott's} Domains",
	booktitle = "Proceedings of Convegno d'Informatica Teorica",
	organization = "Instituto Nazionale di Alta Matematica
			(Citta Universitaria)",
	address = "Rome, Italy",
	month = "February",
	year = "1973" }

@article{Robinson-Wos,
	author = "G. A. Robinson and L. Wos",
	title = "Paramodulation and Theorem-Proving in First-order Logic
		 with Equality",
	journal = "Machine Intelligence",
	volume = "4",
	year = "1969",
	pages = "135--150" }

@article{Rosen,
	author = "B. K. Rosen",
	title = "Tree Manipulation Systems and {Church-Rosser} Theorems",
	journal = "Journal of the ACM", volume = "20", number = "1",
	year = "1973",
	pages = "160--187" }

@book{Schmidt,
	author = "David A. Schmidt",
	title = "Denotational Semantics: A Methodology for Language
		 Development",
	publisher = "Allyn and Bacon",
	year = "1986" }

@book{Schutte,
	author = "Kurt Schutte",
	title = "Proof Theory",
	publisher = "Springer-Verlag",
	address = "New York, NY",
	year = "1977" }

@book{Scott,
	author = "Dana Scott",
	title = "Outline of a Mathematical Theory of Computation",
	series = "Oxford Monographs",
	volume = "PRG-2",
	publisher = "Oxford University Press",
	address = "Oxford, UK",
	year = "1970" }

@incollection{Scott-domain,
	author = "Dana Scott",
	title = "Domains for Denotational Semantics",
	booktitle = "Automata, Languages and Programming---Ninth Colloquium",
	editor = "M. Nielsen and E. M. Schmidt",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "140",
	address = "Berlin",
	year = "1982",
	pages = "577--613" }

@article{Scott-lattice,
	author = "Dana Scott",
	title = "Data Types as Lattices",
	journal = "SIAM Journal on Computing",
	volume = "5",
	number = "3",
	year = "1976" }

@inproceedings{Scott-Strachey,
	author = "Dana Scott and Christopher Strachey",
	title = "Toward a Mathematical Semantics for Computer Languages",
	booktitle = "Proceedings of the Symposium on Computers and Automata",
	address = "Polytechnic Institute of Brooklyn",
	year = "1971",
	pages = "19--46" }

@techreport{Sherman-lazy,
	author = "David J. Sherman",
	title = "Lazy Directed Congruence Closure",
	institution = "The University of Chicago",
	year = "1990",
	number = "90-028" }

@article{Spitzen-Levitt-Robinson,
	author = "Jay M. Spitzen and Karl N. Levitt and Lawrence Robinson",
	title = "An Example of Hierarchical Design and Proof",
	journal = "Communications of the ACM",
	volume = "21",
	number = "12",
	pages = "1064-1075",
	month = "December",
	year = "1978" }

@article{Staples-class,
	author = "John Staples",
	title = "A Class of Replacement Systems with Simple Optimality Theory",
	journal = "Bulletin of the Australian Mathematical Society",
	volume = "17", number = "3",
	year = "1977",
	pages = "335--350" }

@incollection{Staples-graph,
	author = "John Staples",
	title = "A Graph-Like Lambda Calculus for which Leftmost-Outermost
		 Reduction is Optimal",
	booktitle = "Graph Grammars and Their Application to Computer Science
		     and Biology",
	series = "Lecture Notes in Computer Science",
	volume = "73",
	editor = "V. Claus and H. Ehrig and G. Rosenberg",
	publisher = "Springer-Verlag",
	year = "1979" }

@incollection{Staples-two,
	author = "John Staples",
	title = "Two-level Expression Representation for Faster Evaluation",
	booktitle = "Graph Grammars and their Application to
		     Computer Science: 2nd International Workshop",
	editor = "Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg",
	publisher = "Springer-Verlag",
	series = "Lecture Notes in Computer Science",
	volume = "153",
	year = "1982" }

@book{Stark,
	author = "W. Richard Stark",
	title = "LISP, Lore, and Logic---An Algebraic View of LISP
		 Programming, Foundations, and Applications",
	publisher = "Springer-Verlag",
	address = "New York, NY",
	year = "1990" }

@book{Stenlund,
	author = "S{\"o}ren Stenlund",
	title = "Combinators, $\lambda$-Terms, and Proof Theory",
	publisher = "D. Reidel",
	address = "Dordrecht, Netherlands",
	year = "1972" }

@book{Stoy,
	author = "Joseph E. Stoy",
	title = "Denotational Semantics: The Scott-Strachey Approach to
		 Programming Language Theory",
	publisher = "MIT Press",
	address = "Cambridge, MA",
	year = "1977" }

@phdthesis{Strandh-thesis,
	author = "Robert I. Strandh",
	title = "Compiling Equational Programs into Efficient Machine Code",
	school = "The Johns Hopkins University",
	address = "Baltimore, MD",
	year = "1988" }

@inproceedings{Strandh-classes,
	author = "Robert I. Strandh",
	title = "Classes of Equational Programs that Compile Into
		 Efficient Machine Code",
	booktitle = "Proceedings of the Third International
 		     Conference on Rewrite Techniques and Applications",
	year = "1989" }

@techreport{Strandh-pattern,
	author = "R. I. Strandh",
	title = "Incremental Suffix Trees with Multiple Subject Strings",
	institution = "The Johns-Hopkins University",
	number = "JHU/EECS-84/18",
	year = "1984" }

@article{Tait,
	author = "William W. Tait",
	title = "Intensional Interpretation of Functionals of Finite Type",
	journal = "Journal of Symbolic Logic",
	volume = "32",
	number = "2",
	year = "1967",
	pages = "187--199" }

@book{Takeuti,
	author ="Gaisi Takeuti",
	title = "Proof Theory",
	publisher = "North-Holland",
	address = "Amsterdam",
	year = "1975" }

@incollection{Thatcher,
	author = "J. W. Thatcher",
	title = "Tree Automata: An Informal Survey",
	chapter = "4",
	booktitle = "Currents in the Theory of Computing",
	editor = "A. V. Aho",
	publisher = "Prentice-Hall",
	address = "Englewood Cliffs, NJ",
	year = "1973",
	pages = "143--172" }

@article{Thatte,
	author = "Satish Thatte",
	title = "On the Correspondence Between Two Classes of
	         Reduction Systems",
	journal = "Information Processing Letters",
	year = "1985" }

@incollection{Thompson,
	author = "Simon Thompson",
	title = "Interactive Functional Programs, a Method and a Formal
		 Formal Semantics",
	booktitle = "Research Topics in Functional Programming",
	editor = "David A. Turner",
	publisher = "Addison-Wesley",
	year = "1990" }

@article{Turner,
	author = "D. A. Turner",
	title = "A New Implementation Technique for Applicative Languages",
	journal = "Software---Practice and Experience",	
	volume = "9",
	year = "1979",
	pages = "31--49" }

@article{vanEmden-Kowalski,
	author = "M. H. {van Emden} and R. A. Kowalski",
	title = "The Semantics of Predicate Logic as a Programming Language",
	journal = "Journal of the ACM",
	volume = "23",
	number = "4",
	year = "1976",
	pages = "733--742" }

@book{Wadge-Ashcroft,
	author = "E. A. Ashcroft and W. W. Wadge",
	title = "Lucid, the Dataflow Programming Language",
	publisher = "Academic Press",
	address = "London, UK",
	year = "1985" }

@article{Wand,
	author = "Mitchell Wand",
	title = "First Order Identities as a Defining Language",
	journal = "Acta Informatica",
	volume = "14",
	year = "1976",
	pages = "336--357" }

@techreport{Warren-abstract,
	author = "David H. D. Warren",
	title = "An Abstract Prolog Instruction Set",
	institution = "Artificial Intelligence Center, SRI International",
	number =  "309",
	address = "Menlo Park, CA",
	year = "1983",
	month = "October" }

@book{Webster,
	key = "Webster",
	title = "Webster's Ninth New Collegiate Dictionary",
	publisher = "Merriam-Webster Inc.",
	address = "Springfield, MA",
	year ="1987" }

@inproceedings{Williams,
        author = "John H. Williams and Edward L. Wimmers",
        title = "Sacrificing simplicity for convenience: Where do you
		  draw the line?",
        booktitle = "Proceedings of the Fifteenth Annual ACM Symposium
		  on Principles of Programming Languages",
	organization = "ACM",
        pages = "169--179",
        year = "1988" }

@book{Winksel,
	author = "Glynn Winksel",
	title = "The Formal Semantics of Programming
		 Languages---An Introduction",
	publisher = "MIT Press",
	address = "Cambridge, MA",
	year = "1993",
	series = "Foundations of Computing" }

@book{Zhang,
	author = "Guo-Qiang Zhang",
	title = "Logic of Domains",
	publisher = "Birkhauser",
	address = "Boston, MA",
	series = "Progress in Theoretical Computer Science",
	year = "1991" }