File /home/thiemann/tex/bib/general.bib last modified on Fri Apr 14 10:28:31 1995.

@Manual{afmfiles,
  title = 	 "{Adobe} Font Metric Files",
  organization = "Adobe Systems Inc.",
  note =	 "Available from ftp://ftp.adobe.com/pub/adobe/AFMFiles/"
}



@Manual{Rooijakkers1991,
  title = 	 "Rail, Syntax Diagrams for {\LaTeX}",
  author =	 "L. W. J. Rooijakkers",
  organization = "University of Nijmegen",
  address =	 "The Netherlands",
  year =	 1991,
  month =	 feb,
  note =	 "Available from CTAN archive sites in macros/latex209/contrib/rail",
  annote =	 "E-mail: lwj@cs.kun.nl"
}

@Manual{Kloecker1996,
  title = 	 "Generating Syntax Diagrams With SYNGEN",
  author =	 "Jens Klöcker",
  organization = "Universität Würzburg",
  year =	 1996,
  month =	 jan,
  note =	 "Available from CTAN archive sites in support/syngen",
  annote =	 "E-mail: kloecker@informatik.uni-wuerzburg.de"
}

@BOOK{Knuth1992,
	AUTHOR = {Donald E. Knuth},
	TITLE = {Literate Programming},
	PUBLISHER = {Center for the Study of Language and Information, Stanford University},
	YEAR = 1992,
	ISBN = {ISBN 0-937073-80-6 (pbk)}
}

@ARTICLE{Knuth1990,
	AUTHOR = {Donald E. Knuth},
	TITLE = {Theory and Practice},
	JOURNAL = tcs,
	YEAR = 1991,
	VOLUME = {90},
	PAGES = {1-15}
}

@BOOK{Knuth1,
	AUTHOR = "Donald E. Knuth",
	TITLE = "Fundamental Algorithms",
	PUBLISHER = "Addison-Wesley",
	YEAR = "1968",
	VOLUME = "1",
	SERIES = "The Art of Computer Programming",
	ADDRESS = "Reading, MA",
	EDITION = "2nd"
}

@TECHREPORT{KLR1988,
	AUTHOR = {Donald E. Knuth and Tracy Larrabee and Paul M. Roberts},
	TITLE = {Mathematical Writing},
	INSTITUTION = {Department of Computer Science, Stanford University},
	YEAR = 1988,
	NUMBER = {STAN-CS-88-1193},
	ADDRESS = {Stanford, CA 94305},
	MONTH = jan
}

@BOOK{BCW1990,
	AUTHOR = {Bell, Timothy C. and Cleary, J.G. and Witten, Ian H. },
	TITLE = {Text Compression},
	PUBLISHER = {Prentice Hall},
	YEAR = 1990,
	ADDRESS = {Englewood Cliffs, NJ}
}

@ARTICLE{BWC1989,
	AUTHOR = {Bell, Timothy C. and Witten, Ian H.  and Cleary, J.G.},
	TITLE = {Modeling for Text Compression},
	JOURNAL = acmcs,
	YEAR = 1989,
	VOLUME = {21},
	NUMBER = {4},
	PAGES = {557-591},
	MONTH = dec
}

@BOOK{Partsch1990 ,
	AUTHOR       = {Partsch, Helmut A.} ,
	TITLE        = {{Specification and transformation of programs: a formal approach to software development }} ,
	YEAR         = {1990} ,
	PUBLISHER    = SP ,
	ISBN         = {3-540-52356-1} ,
	POINTER      = {Bib.d.Info. I.2.2}, 
	ENTRY        = {es} 
}

@book{GunterMitchell1994,
	EDITOR = "Carl A. Gunter and John C. Mitchell",
	TITLE = "Theoretical Aspects of Object-Oriented Programming: 
         Types, Semantics, and Language Design",
	YEAR = "1994",
	PUBLISHER = "The {MIT} Press"
}

@BOOK{AHU:data,
	AUTHOR = "Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman",
	TITLE = "Data Structures and Algorithms",
	PUBLISHER = "Addison-Wesley",
	YEAR = "1983"
}


@INBOOK{Mosses1990,
	AUTHOR = {Peter D. Mosses},
	CHAPTER = {11},
	TITLE = {Denotational Semantics},
	PUBLISHER = ESP,
	YEAR = 1990,
	VOLUME = {B},
	SERIES = {Handbook of Theoretical Computer Science},
	ADDRESS = {Amsterdam}
}


@INBOOK{GS1990,
	AUTHOR = {Carl A. Gunter and Dana S. Scott},
	CHAPTER = {12},
	TITLE = {Semantic Domains},
	PUBLISHER = ESP,
	YEAR = 1990,
	VOLUME = {B},
	SERIES = {Handbook of Theoretical Computer Science},
	ADDRESS = {Amsterdam}
}
@INCOLLECTION{BS:unification,
	AUTHOR = {Franz Baader and J{\"o}rg H. Siekmann},
	CROSSREF = {LAILP},
	TITLE = {Unification Theory},
	PUBLISHER = {Oxford University Press},
	YEAR = 1994
}

@BOOK{LAILP,
	EDITOR = {D. M. Gabbay and C. J. Hogger and J. A. Robinson},
	TITLE = {Handbook of Logic in Artificial Intelligence and Logic Programming},
	bookTITLE = {Handbook of Logic in Artificial Intelligence and Logic Programming},
	PUBLISHER = {Oxford University Press},
	YEAR = 1994
}

@ARTICLE{garbage:survey,
	AUTHOR = {Paul R. Wilson},
	TITLE = {Some Issues and Strategies in Heap Management and Memory Hierarchies},
	JOURNAL = notices,
	YEAR = {1991},
	VOLUME = {26},
	NUMBER = {3},
	PAGES = {45-52},
	MONTH = mar
}

@TECHREPORT{HO80,
	AUTHOR = {Gerard Huet and Derek C. Oppen},
	TITLE = {Equations and Rewrite Rules: A Survey},
	INSTITUTION = {SRI International},
	YEAR = {1980},
	NUMBER = {CSL-111},
	ADDRESS = {Menlo Park, California},
	MONTH = jan
}

@ARTICLE{pascal,
	AUTHOR = {Niklaus Wirth},
	TITLE = {The programming language PASCAL},
	JOURNAL = acta,
	YEAR = {1971},
	VOLUME = {1},
	PAGES = {35-63}
}

@ARTICLE{modula,
	AUTHOR = {Niklaus Wirth},
	TITLE = {Modula: a language for modular multiprogramming},
	JOURNAL = swpe,
	YEAR = {1977},
	VOLUME = {7},
	PAGES = {3-35}
}
@ARTICLE{Tarjan1972,
	AUTHOR = {R. E. Tarjan},
	TITLE = {Depth-First Search and Linear Graph Algorithms},
	JOURNAL = sicomp,
	YEAR = 1972,
	VOLUME = {1},
	NUMBER = {2},
	PAGES = {146-160}
}

@ARTICLE{ZL1977,
	AUTHOR = {Jacob Ziv and Abraham Lempel},
	TITLE = {A Universal Algorithm for Sequential Data Compression},
	JOURNAL = ieeetit,
	YEAR = 1977,
	VOLUME = {IT-23},
	NUMBER = {3},
	PAGES = {337-343},
	MONTH = may
}

@ARTICLE{Welch1984,
	AUTHOR = {Terry A. Welch},
	TITLE = {A Technique for High-Performance Data Compression},
	JOURNAL = ieeec,
	YEAR = 1984,
	VOLUME = {17},
	NUMBER = {6},
	PAGES = {8-19},
	MONTH = jun
}