****************************


@Book{Dupre1995,
  author = 	 "Lynn Dupré",
  title = 	 "Bugs in Writing",
  publisher = 	 AW,
  year = 	 1995,
  isbn =	 "0-201-60019-6"
}

@Book{DaveyPriestley1990,
  author = 	 "B. A. Davey and H. A. Priestley",
  title = 	 "Introduction to Lattices and Order",
  publisher = 	 "Cambridge University Press",
  year = 	 1990
}

@Book{GoossensMittelbachSamarin1994,
  author = 	 "Michel Goossens and Frank Mittelbach and Alexander Samarin",
  title = 	 "The {\LaTeX} Companion",
  publisher = 	 AW,
  year = 	 1994,
  isbn =	 "0-201-54199-8"
}

@BOOK{Lee1991 ,
	AUTHOR       = {Lee, Peter} ,
	TITLE        = {{Topics in advanced language implementation }} ,
	YEAR         = {1991} ,
	PUBLISHER    = {MIT Pr., Cambridge, Mass. u.a.} ,
	SERIES       = {} ,
	VOLUME       = {} ,
	ISBN         = {0-262-12151-4} ,
	ISSN         = {} ,
	REPORT       = {} ,
	POINTER      = {Bib.d.Info. D.3.4}, 
	CATEGORY     = {} ,
	KEYWORDS     = {} ,
	ENTRY        = {es} ,
	ABSTRACT     = {} 
}
		  
@Book{Tofte1990,
  semno =        "D-85",
  author =       "Mads Tofte",
  title =        "Compiler Generators---What They Can Do, What They
                 Might Do and What They Probably Never Do",
  publisher =    SP,
  year =         1990,
  volume =       19,
  month =        Mar,
  summary =      "Contains a description of the CERES Compiler Generator
                 and other systems. CERES was developed by Neil Jones
                 and Mads Tofte.",
  keywords =     "compiler generation, CERES"
}


@Book{Lee1989,
  author = 	 {Lee, Peter},
  title = 	 "Realistic Compiler Generation",
  publisher = 	 "MIT Press",
  year = 	 1989,
  address =	 "Cambridge, MA"
}

@book{HopcroftUllman1979,
	author	= "John E. Hopcroft and Jeffrey D. Ullman",
	title	= "Introduction to automata theory, languages and computation",
	publisher = "Addison-Wesley",
	year	= 1979}

@Book{Kleene1952,
  author = 	 "S. C. Kleene",
  title = 	 "Introduction to Meta-Mathematics",
  publisher = 	 "North Holland Publishing Co.",
  year = 	 1952,
  address =	 "Amsterdam, The Netherlands"
}

@BOOK{Eilenberg1974,
	AUTHOR = {Samuel Eilenberg},
	TITLE = {Automata, Languages, and Machines},
	PUBLISHER = {Academic Press},
	YEAR = 1974,
	VOLUME = {A},
	ADDRESS = {New York, London}
}

@BOOK{Salomaa1969,
	AUTHOR = {Arto Salomaa},
	TITLE = {Theory of Automata},
	PUBLISHER = {Pergamon Press},
	YEAR = 1969,
	ADDRESS = {Oxford}
}

@BOOK{Harrison1978,
	AUTHOR = {Micheal A. Harrison},
	TITLE = {Introduction to Formal Language Theory},
	PUBLISHER = {Addison Wesley},
	YEAR = 1978,
	ADDRESS = {Reading, MA}
}

@BOOK{Brauer1984,
	AUTHOR = {Wilfried Brauer},
	TITLE = {Automatentheorie},
	PUBLISHER = {Teubner},
	YEAR = 1984,
	ADDRESS = {Stuttgart}
}

@BOOK{ArmstrongVirdingWilliams1993,
	AUTHOR = {Joe Armstrong and Robert Virding and Mike Williams},
	TITLE = {Concurrent Programming in {Erlang}},
	PUBLISHER = {Prentice Hall},
	YEAR = 1993,
	ADDRESS = {NY},
	ISBN = {ISBN 0-13-285792-8},
	KEYWORDS = {application, concurrency, language}
}

@Book{Paepke1993,
  editor = 	 "A. Paepke",
  title = 	 "Object-Oriented Programming --- The {CLOS} Perspective",
  booktitle = 	 "Object-Oriented Programming --- The {CLOS} Perspective",
  publisher = 	 "MIT Press",
  year = 	 1993
}

@BOOK{Pagan1991,
	AUTHOR = {Frank L. Pagan},
	TITLE = {Partial Computation and the Construction of Language Processors},
	PUBLISHER = PH,
	YEAR = 1991
}

@Book{TroelstraSchwichtenberg1996,
  author = 	 "A. S. Troelstra and H. Schwichtenberg",
  title = 	 "Basic Proof Theory",
  publisher = 	 "Cambridge University Press",
  year = 	 1996
}

@Book{GirardTaylorLafont1989,
  author = 	 "Jean-Yves Girard and Paul Taylor and Yves Lafont",
  title = 	 "Proofs and Types",
  publisher = 	 "Cambridge University Press",
  year = 	 1989
}

@Book{Ullman1994,
  author = 	 "Jeffrey D. Ullman",
  title = 	 "Elements of {ML} Programming",
  publisher = 	 PH,
  year = 	 1994
}

@Book{ClackMyersPoon1993,
  author = 	 "Chris Clack and Colin Myers and Ellen Poon",
  title = 	 "Programming With Standard {ML}",
  publisher = 	 PH,
  year = 	 1993
}

@Book{Stansifer1992,
  author = 	 "Ryan Stansifer",
  title = 	 "{ML} Primer",
  publisher = 	 PH,
  year = 	 1992,
  isbn =	 "0-13-561721-9"
}

@Book{Mitchell1996,
  author = 	 "John C. Mitchell",
  title = 	 "Foundations for Programming Languages",
  publisher = 	 "MIT Press",
  year = 	 1996
}

@BOOK{AbelsonSussmanSussman1985, 
  author =	{Harold Abelson
		and Gerald Jay Sussman
		and Julie Sussman}, 
  title =	{Structure and Interpretation of Computer Programs}, 
  year =	1985, 
  publisher =	{MIT Press}, 
  address =	{Cambridge, Mass.}, 
  keywords =	{siocp}
}

@BOOK{Eisenberg1988, 
  author =	{Michael Eisenberg}, 
  title =	{Programming in Scheme}, 
  year =	1988, 
  editor =	{Harold Abelson}, 
  publisher =	{The Scientific Press}, 
  address =	{Redwood City, CA} 
}

@BOOK{SpringerFriedman1989,
  author =	{George Springer
		and Daniel P. Friedman}, 
  title =	{Scheme and the Art of Programming}, 
  year =	1989, 
  publisher =	{MIT Press and McGraw-Hill}, 
  keywords =	{scheme-art} 
}

@Book{Dybvig1996,
  author = 	 "R. Kent Dybvig",
  title = 	 "The {Scheme} Programming Language",
  publisher = 	 PH,
  year = 	 1996,
  ISBN =	 "0-13-454646-6"
}

@BOOK{FriedmanWandHaynes1992,
  author = 	 "Daniel P. Friedman and Mitchell Wand and Christopher
  T. Haynes",
  title = 	 "Essentials of Programming Languages",
  publisher = 	 "MIT Press and McGraw-Hill",
  year = 	 1992,
  annote =	 "EOPL",
	ISBN = {MIT 0-262-06145-7, McGraw-Hill 0-07-022443-9}
}

@BOOK{PlasmeijervanEekelen1993,
	AUTHOR = {Rinus Plasmeijer and Marko {van Eekelen}},
	TITLE = {Functional Programming and Parallel Graph Rewriting},
	PUBLISHER = AW,
	YEAR = 1993,
	SERIES = {International Computer Science Series},
	ISBN = {ISBN 0-201-41663-8},
	KEYWORDS = {application, introduction, graph rewriting}
}

@BOOK{GordonMilnerWadsworth1979,
	AUTHOR = "Michael Gordon and Robin Milner and Christopher Wadsworth",
	TITLE = "Edinburgh LCF",
	PUBLISHER = SP,
	YEAR = "1979",
	VOLUME = "78",
	SERIES = "LNCS",
	KEYWORDS = {application, theorem proving}
}

@Book{Gordon1994-book,
  author = 	 "Andrew D. Gordon",
  title = 	 "Functional Programming and Input/Output",
  publisher = 	 "Cambridge University Press",
  year = 	 1994
}

@BOOK{Cole1989,
	AUTHOR = {Murray I. Cole},
	TITLE = {Algorithmic Skeletons: Structured Management of Parallel Computation},
	PUBLISHER = {Pitman/MIT},
	YEAR = 1989,
	KEYWORDS = {parallel}
}

@Book{handbookoflics,
  title = 	 "Handbook of Logic in Computer Science",
  publisher = 	 "Oxford Science Publications",
  year = 	 1992,
  editor =	 "Samson Abramsky and Dov M. Gabbay and Tim S. E. Maibaum",
  volume =	 "(5 vols)"
}

@Book{AbramskyGabbayMaibaum1992,
  editor = 	 "Samson Abramsky and Dov M. Gabbay and Tim S. E. Maibaum",
  title = 	 "Handbook of Logic in Computer Science",
  booktitle = 	 "Handbook of Logic in Computer Science",
  publisher = 	 "Oxford Science Publications",
  year = 	 1992
}

@Book{handbookoftcs,
  title = 	 "Handbook of Theoretical Computer Science---Formal
  Models and Semantics",
  publisher = 	 ESP,
  year = 	 1990,
  editor =	 "Jan {van Leeuwen}",
  volume =	 {B}
}

@Book{handbookoftcs-a,
  title = 	 "Handbook of Theoretical Computer Science---Formal
  Models and Semantics",
  publisher = 	 ESP,
  year = 	 1990,
  editor =	 "Jan {van Leeuwen}",
  volume =	 "A"
}

@BOOK{JonesGomardSestoft1993,
      OLDKEY = {JGS1993},
	AUTHOR = {Neil D. Jones and Carsten K. Gomard and Peter Sestoft},
	TITLE = {Partial Evaluation and Automatic Program Generation},
	PUBLISHER = PH,
	YEAR = 1993,
	ISBN = {0-13-020249-5}
}

@Book{Pierce1991,
  author = 	 {Pierce, Benjamin C.},
  title = 	 {Basic category theory for computer scientists },
  publisher = 	 MIT,
  year = 	 {1991},
  isbn =	 "0-262-66071-7"
}

@Book{NielsonNielson1992,
  author = 	 {Flemming Nielson and Hanne Riis Nielson},
  title = 	 "Two-Level Functional Languages",
  publisher = 	 "Cambridge University Press",
  year = 	 1992
}

@Book{Winskel1993,
  author = 	 "Glynn Winskel",
  title = 	 "The Formal Semantics of Programming Languages: an Introduction",
  publisher = 	 MIT,
  year = 	 1993
}

@BOOK{Bauer1985,
	AUTHOR = {F. L. Bauer and R. Berghammer and M. Broy and W. Dosch and F. Geiselbrechtinger and R. Gantz and E. Hangel and W. Hesse and B. {Krieg-Brückner} and A. Laut and T. Matzner and B. Möller and F. Nickl and H. Partsch and P. Pepper and K. Semelson and M. Wirsing and H. Wössner},
	TITLE = {The Munich Project {CIP}},
	PUBLISHER = SP,
	YEAR = 1985,
	VOLUME = {1: The Wide Spectrum Language {CIP-L}},
	ADDRESS = {Berlin},
	NOTE = {LNCS 183}
}
@BOOK{Bauer1987 ,
	AUTHOR       = {Bauer, Friedrich L.} ,
	TITLE        = {The Munich Project {CIP}} ,
	YEAR         = {1987} ,
	PUBLISHER    = SP,
	SERIES       = {Lecture notes in computer science} ,
	VOLUME       = {2: The Program Transformation System {CIP-S}} ,
	ISBN         = {3-540-18779-0} ,
	POINTER      = {Bib.d.Info. I.2.2}, 
	ENTRY        = {es} 
}

@BOOK{Launchbury1991phd,
	AUTHOR = {John Launchbury},
	TITLE = {Projection Factorisations in Partial Evaluation},
	PUBLISHER = {Cambridge University Press},
	YEAR = 1991,
	VOLUME = {1},
	SERIES = {Distinguished Dissertations in Computer Science}
}

@BOOK{Church1941,
	AUTHOR = {Alonzo Church},
	TITLE = {The Calculi of Lambda-Conversion},
	PUBLISHER = {Princeton University Press},
	YEAR = 1941,
	VOLUME = {6},
	SERIES = {Annals of Mathematical Studies},
	NOTE = {Kraus Reprint, 1971}
}

@BOOK{Curry1958,
	AUTHOR = {H. B. Curry and R. Feys and W. Craig},
	TITLE = {Combinatory Logic},
	PUBLISHER = {North Holland},
	YEAR = 1958,
	VOLUME = {I}
}

@BOOK{Curry1972,
	AUTHOR = {H. B. Curry and J. R. Hindley and J. P. Seldin},
	TITLE = {Combinatory Logic},
	PUBLISHER = {North Holland},
	YEAR = 1972,
	VOLUME = {II}
}

@BOOK{Loogen1990 ,
	POINTER      = {Bib.d.Info. D.3.4}, 
	YEAR         = {1990} ,
	TITLE        = {{Parallele Implementierung funktionaler Programmiersprachen}} ,
	PUBLISHER    = SP#{, Berlin; Heidelberg} ,
	AUTHOR       = {Loogen, Rita} ,
	SERIES       = {Informatik-Fachberichte} ,
	ISBN         = {3-540-52049-X} 
}

@BOOK{BroyJones1990,
	EDITOR = {Manfred Broy and Cliff B. Jones},
	TITLE = {Programming Concepts and Methods},
	PUBLISHER = {North Holland},
	YEAR = 1990
}

@BOOK{MilnerTofteHarper1990,
	AUTHOR = {Robin Milner and Mads Tofte and Robert Harper},
	TITLE = {The Definition of Standard {ML}},
	PUBLISHER = MIT,
	YEAR = 1990,
	ISBN = {ISBN 0-262-13255-9, ISBN 0-262-63132-6 PB}
}

@BOOK{MilnerTofte1991,
	AUTHOR = {Robin Milner and Mads Tofte},
	TITLE = {Commentary on Standard {ML}},
	PUBLISHER = MIT,
	YEAR = 1991,
	ISBN = {ISBN 0-262-13271-0, ISBN 0-262-63137-7 PB}
}

@BOOK{AbramskyHankin1987,
	AUTHOR = {Samson Abramsky and Chris Hankin},
	TITLE = {Abstract Interpretation of Declarative Languages},
	BOOKTITLE = {Abstract Interpretation of Declarative Languages},
	PUBLISHER = EH,
	YEAR = 1987
}

@BOOK{Appel1992,
	AUTHOR = {Andrew W. Appel},
	TITLE = {Compiling with Continuations},
	PUBLISHER = {Cambridge University Press},
	YEAR = 1992
}

@BOOK{Allen1978,
	AUTHOR = {John Allen},
	TITLE = {Anatomy of Lisp},
	PUBLISHER = {McGraw-Hill},
	YEAR = 1978
}

@BOOK{Steele1990,
	AUTHOR = {Guy L. Steele},
	TITLE = {Common {LISP}: The Language},
	PUBLISHER = {Digital Press},
	YEAR = 1990,
	EDITION = {2nd},
	ADDRESS = {Bedford, MA}
}

@BOOK{Elson1973,
	AUTHOR = {Mark Elson},
	TITLE = {Concepts of Programming Languages},
	PUBLISHER = {SRA Inc},
	YEAR = 1973,
	ADDRESS = {Palo Alto, CA}
}

@BOOK{Blelloch1990,
	AUTHOR = {Guy E. Blelloch},
	TITLE = {Vector Models for Data-Parallel Computing},
	PUBLISHER = MIT,
	YEAR = 1990,
	KEYWORDS = {nesl parallel}
}

@BOOK{Szymanski1991,
	EDITOR = {Boleslaw K. Szymanski},
	TITLE = {Parallel Functional Languages and Compilers},
	PUBLISHER = {ACM Press},
	YEAR = 1991
}

@BOOK{Gloger1993,
	AUTHOR = {Michael Gloger},
	TITLE = {Implementierung funktionaler {P}rogrammiersprachen},
	PUBLISHER = {Deutscher Universitäts Verlag},
	YEAR = 1993,
	ADDRESS = {Wiesbaden},
	ISBN = {ISBN 3-8244-2037-6}
}

@BOOK{HindleySeldin1986,
	AUTHOR = {J. R. Hindley and J. P. Seldin},
	TITLE = {Introduction to Combinators and $\lambda$-Calculus},
	PUBLISHER = {Cambridge University Press},
	YEAR = 1986,
	VOLUME = {1},
	SERIES = {Mathematical Sciences Student Texts},
	ADDRESS = {London}
}

@BOOK{SleepPlasmeijervanEekelen1993,
	EDITOR = {M. R. Sleep and M. J. Plasmeijer and M. C. J. D. {van Eekelen}},
	TITLE = {Term Graph Rewriting, Theory and Practice},
	BOOKTITLE = {Term Graph Rewriting, Theory and Practice},
	PUBLISHER = JW,
	YEAR = 1993
}

@BOOK{HW1988,
	EDITOR = {Paul Hudak and Philip Wadler},
	TITLE = {Report on the Functional Programming Language {Haskell}},
	PUBLISHER = {Department of Computer Science, Yale University},
	YEAR = {1988},
	NOTE = {Technical Report YALEU/DCS/RR656}
}

@BOOK{haskell1.1,
	EDITOR = {Paul Hudak and Simon L. {Peyton Jones} and Philip Wadler},
	TITLE = {Report on the Functional Programming Language {Haskell}, a Non-strict Purely Functional Language (Version 1.1)},
	PUBLISHER = {Department of Computer Science, Yale University},
	MONTH = aug,
	YEAR = {1991},
	NOTE = {Technical Report YALEU/DCS/RR777}
}

@BOOK{YoP90,
	TITLE = "Research Topics in Functional Programming",
	BOOKTITLE = "Research Topics in Functional Programming",
	PUBLISHER = AW,
	YEAR = "1990",
	EDITOR = "David A. Turner"
}


@Book{JeuringMeijer1995,
  author = 	 "Johan Jeuring and Erik Meijer",
  title = 	 "Advanced Functional Programming",
  booktitle = 	 "Advanced Functional Programming",
  publisher = 	 SP,
  year = 	 1995,
  volume =	 925,
  series =	 "Lecture Notes in Computer Science",
  month =	 may,
  annote =	 "First International Spring School on Advanced
  Functional Programming Techniques, B{\aa}stad, Sweden"
}

@BOOK{Barendregt1984,
	AUTHOR = {H. P. Barendregt},
	TITLE = {The Lambda Calculus --- Its Syntax and Semantics},
	PUBLISHER = {North-Holland},
	YEAR = 1984
}

@BOOK{Davie1992,
	AUTHOR = {Anthony J. T. Davie},
	TITLE = {An Introduction to Functional Programming Systems Using {Haskell}},
	PUBLISHER = {Cambridge University Press},
	YEAR = 1992
}

@BOOK{Hinze1991,
	AUTHOR = {Ralf Hinze},
	TITLE = {Einführung in die funktionale Programmierung mit {Miranda}},
	PUBLISHER = {Teubner Verlag},
	YEAR = 1991
}

@BOOK{Jones1987,
	AUTHOR = "Simon L. {Peyton Jones}",
	TITLE = "The Implementation of Functional Programming Languages",
	BOOKTITLE = "The Implementation of Functional Programming Languages",
	PUBLISHER = PH,
	YEAR = "1987"
}
*** was jones87


@BOOK{JonesLester1992,
	AUTHOR = {Simon L. {Peyton Jones} and David R. Lester},
	TITLE = {Implementing Functional Languages},
	PUBLISHER = PH,
	YEAR = 1992
}

@BOOK{BirdWadler88,
	AUTHOR = "Richard S. Bird and Philip Wadler",
	TITLE = "Introduction to Functional Programming",
	PUBLISHER = PH,
	YEAR = "1988",
	ADDRESS = "Englewood Cliffs, NJ"
}

@BOOK{HarrisonField88,
	AUTHOR = "Anthony J. Field and Peter G. Harrison",
	TITLE = "Functional Programming",
	PUBLISHER = AW,
	YEAR = "1988"
}


@BOOK{GHT1984,
	AUTHOR = {P. Glaser and C. Hankin and D. Till},
	TITLE = {Principles of Functional Programming},
	PUBLISHER = PH,
	YEAR = 1984
}



@BOOK{DHT1982,
	AUTHOR = {J. Darlington and P. Henderson and D. Turner},
	TITLE = {Functional Programming and Its Applications},
	PUBLISHER = {Cambridge University Press},
	YEAR = 1982
}

@BOOK{Hen1980,
	AUTHOR = "Peter Henderson",
	TITLE = "Functional Programming: Application and Implementation",
	PUBLISHER = PH,
	YEAR = "1980"
}

@BOOK{Henson1987,
	AUTHOR = {Martin C. Henson},
	TITLE = {Elements of Functional Languages},
	PUBLISHER = {Blackwell Scientific Publications},
	YEAR = {1987}
}

@BOOK{MacLennan1989,
	AUTHOR = {Bruce J. MacLennan},
	TITLE = {Functional Programming: Practice and Theory},
	PUBLISHER = AW,
	YEAR = {1989}
}

@BOOK{Michaelson1989,
	AUTHOR = {Greg Michaelson},
	TITLE = {An Introduction to Functional Programming Through Lambda Calculus},
	PUBLISHER = AW,
	YEAR = 1989
}

@BOOK{Reade1989,
	AUTHOR = {Chris Reade},
	TITLE = {Elements of Functional Programming},
	PUBLISHER = AW,
	YEAR = 1989
}

@BOOK{Thompson1991,
	AUTHOR = {Simon Thompson},
	TITLE = {Type Theory and Functional Programming},
	PUBLISHER = AW,
	YEAR = 1991,
	ISBN = {0-201-41667-0},
	CLASSIFICATION = {D.1.1}
}

@BOOK{Paulson1991,
	AUTHOR = {Lawrence C. Paulson},
	TITLE = {{ML} for the Working Programmer},
	PUBLISHER = {Cambridge University Press},
	YEAR = 1991
}

@Book{Paulson1996,
  author = 	 {Lawrence C. Paulson},
  title = 	 "{ML} for the Working Programmer",
  publisher = 	 "Cambridge University Press",
  year = 	 1996,
  note =	 "2nd edition"
}

@BOOK{Wikstroem1987,
	AUTHOR = "Åke Wikström",
	TITLE = "Functional Programming Using Standard {ML}",
	PUBLISHER = PH,
	ISBN = "ISBN 0-13-331661-0",
	YEAR = "1987"
}

@BOOK{PittmanPeters1992 ,
	AUTHOR       = {Pittman, Thomas and Peters, James} ,
	TITLE        = {{The art of compiler design : theory and practice }} ,
	YEAR         = {1992} ,
	PUBLISHER    = {Prentice Hall, Englewood Cliffs, NJ} ,
	SERIES       = {} ,
	VOLUME       = {} ,
	ISBN         = {0-13-048190-4} ,
	ISSN         = {} ,
	REPORT       = {} ,
	POINTER      = {Bib.d.Info. D.3.4}, 
	CATEGORY     = {} ,
	KEYWORDS     = {} ,
	ENTRY        = {es} ,
	ABSTRACT     = {} 
}

@BOOK{WilhelmMaurer1992,
        AUTHOR = "Reinhard Wilhelm and Dieter Maurer",
        TITLE = {{Übersetzerbau --- Theorie, Konstruktion, Generierung}},
        PUBLISHER = SP,
        YEAR = "1992",
        SERIES = "Lehrbuch",
        ADDRESS = "Berlin, Heidelberg",
        ISBN = "3-540-55704-0",
	PRICE = "78,--DM"
}

@Book{WilhelmMaurer1995,
  author = 	 "Reinhard Wilhelm and Dieter Maurer",
  title = 	 "Compiler Design",
  publisher = 	 AW,
  year = 	 1995
}

@book{AhoSethiUllman1986,
	author	= "Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman",
	title	= "Compilers Principles, Techniques, and Tools",
	publisher = "Addison-Wesley",
	year	= 1986}

@BOOK{Wirth86,
	AUTHOR = "Niklaus Wirth",
	TITLE = "Compilerbau",
	PUBLISHER = "Teubner",
	YEAR = "1986",
	EDITION = "4"
}

@BOOK{WaiteGoos1984,
	AUTHOR = "William M. Waite and Gerhard Goos",
	TITLE = "Compiler Construction",
	PUBLISHER = SP,
	YEAR = "1984"
}

@Book{Goos1996,
  author = 	 "Gerhard Goos",
  title = 	 "Vorlesungen über Informatik",
  publisher = 	 SP,
  year = 	 1996,
  volume =	 "1: Grundlagen und funktionales Programmieren"
}

@BOOK{Fischer1988,
	AUTHOR = {C. N. Fischer and R. J. LeBlanc},
	TITLE = {Crafting a Compiler},
	PUBLISHER = {Benjamin/Cummings},
	YEAR = {1988}
}

@BOOK{Rechenberg1988,
	AUTHOR = {P. Rechenberg and H. M{\"{o}}ssenb{\"{o}}ck},
	TITLE = {A Compiler Generator for Microcomputers},
	PUBLISHER = {Prentice Hall},
	YEAR = {1988}
}

@BOOK{Terry1986,
	AUTHOR = {Patrick D. Terry},
	TITLE = {Programming Language Translation: a practical approach},
	PUBLISHER = AW,
	YEAR = {1986}
}

@BOOK{Chapman1987,
	AUTHOR = {Nigel P. Chapman},
	TITLE = {{LR} parsing: theory and practice},
	PUBLISHER = {Cambridge University Press, Cambridge},
	YEAR = 1987
}


@BOOK{Leermakers1993,
	AUTHOR = {Rene Leermakers},
	TITLE = {The Functional Treatment of Parsing},
	PUBLISHER = {Kluwer Academic Publishers},
	YEAR = 1993,
	ADDRESS = {Boston}
}



@Book{Lamport1985,
  author = 	 "Leslie Lamport",
  title = 	 "{\LaTeX}, A Document Preparation System",
  publisher = 	 AW,
  year = 	 1985
}


@BOOK{Gunter1992:semantics,
	AUTHOR = {Carl A. Gunter},
	TITLE = {Semantics of Programming Languages: Structures and Techniques},
	PUBLISHER = MIT,
	YEAR = 1992,
	SERIES = {Foundations of Computing},
	ADDRESS = {Cambridge, MA},
	ISBN = {0-262-57095-5}
}

@BOOK{Schmidt1986:semantics,
	AUTHOR = {David A. Schmidt},
	TITLE = {Denotational Semantics, A Methodology for Software Development},
	PUBLISHER = {Allyn and Bacon, Inc},
	YEAR = 1986,
	ADDRESS = {Massachusetts}
}

@Book{Schmidt1994,
  author = 	 {David A. Schmidt},
  title = 	 "The Structure of Typed Programming Languages",
  publisher = 	 MIT,
  year = 	 1994,
  series =	 "Foundations of Computing",
  address =	 "Cambridge, MA"
}

@Book{Hennessy1991,
  author = 	 "Matthew Hennessy",
  title = 	 "The Semantics of Programming Languages: An
		    Elementary Introduction Using Structured
		  		    Operational Semantics",
  publisher = 	 "Wiley",
  year = 	 1991,
  address =	 "New York"
}

@Book{Kamin1990,
  author = 	 "Samuel Kamin",
  title = 	 "Programming Languages: An Interpreter-Based Approach",
  publisher = 	 AW,
  year = 	 1990,
  address =	 "Reading, MA"
}

@BOOK{NielsonNielson1992:semantics,
	AUTHOR = {Hanne Riis Nielson and Flemming Nielson},
	TITLE = {Semantics with Applications},
	PUBLISHER = {John Wiley \& Sons},
	YEAR = 1992
}

@BOOK{Stoy1981,
	AUTHOR = "Joseph E. Stoy",
	TITLE = "Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory",
	PUBLISHER = "MIT Press",
	YEAR = "1981"
}

@Book{Meyer1988,
  author =       "Bertrand Meyer",
  title =        "Object-Oriented Software Construction",
  publisher =    PH,
  year =         "1988",
}

@Book{Meyer1992,
  author =       "Bertrand Meyer",
  title =        "Eiffel: The Language",
  publisher =    PH,
  year =         "1992",
}

@Book{Stroustrup1992,
  author = 	 "Bjarne Stroustrup",
  title = 	 "The {C++} Programming Language",
  publisher = 	 AW,
  year = 	 1992,
  edition =	 "2nd"
}

@Book{Date1986,
	AUTHOR = {C. J. Date},
	TITLE = {An Introduction to Database Systems},
	PUBLISHER = {Addison-Wesley},
	YEAR = {1986},
	VOLUME = {I},
	EDITION = {fourth}
}

@BOOK{CM1981,
	AUTHOR = {W. F. Clocksin and C. S. Mellish},
	TITLE = {Programming in PROLOG},
	PUBLISHER = SP,
	YEAR = {1981}
}


@BOOK{modula2,
	AUTHOR = {Niklaus Wirth},
	TITLE = {Programming in Modula-2},
	PUBLISHER = SP,
	YEAR = {1982}
}

@BOOK{KR1977,
	AUTHOR = {Brian W. Kernighan and Dennis M. Ritchie},
	TITLE = {The C Programming Language},
	PUBLISHER = {Prentice-Hall},
	YEAR = {1977}
}

@BOOK{algol,
	EDITOR = {Peter Naur},
	TITLE = {Revised Report on The Algorithmic Language ALGOL 60},
	PUBLISHER = {Regnecentralen},
	YEAR = {1960},
	ADDRESS = {Copenhagen}
}

@BOOK{OV1986,
	AUTHOR = {W. Oberschelp and G. Vossen},
	TITLE = {Rechneraufbau und Rechnerstrukturen},
	PUBLISHER = {R. Oldenbourg Verlag},
	YEAR = {1986}
}

@BOOK{Gries1981,
	AUTHOR = {David Gries},
	TITLE = {The Science of Programming},
	PUBLISHER = SP,
	YEAR = {1981}
}

@BOOK{Sethi1989,
	AUTHOR = {Ravi Sethi},
	TITLE = {Programming Languages --- Concepts and Constructs},
	PUBLISHER = AW,
	YEAR = 1989
}


@BOOK{Orga72 ,
	AUTHOR       = {Organick, Elliott I.} ,
	TITLE        = {{The Multics System : an examination of its structure }} ,
	YEAR         = {1972} ,
	PUBLISHER    = {MIT Pr., Cambridge, Mass. u.a.} ,
	SERIES       = {} ,
	VOLUME       = {} ,
	ISBN         = {} ,
	ISSN         = {} ,
	REPORT       = {} ,
	POINTER      = {Bib.d.Info. D.4.0}, 
	CATEGORY     = {} ,
	KEYWORDS     = {} ,
	ENTRY        = {es} ,
	ABSTRACT     = {} 
}

@Book{RedBook,
  author = 	 "Adobe Systems Inc.",
  title = 	 "{PostScript} Language Reference Manual",
  publisher = 	 AW,
  year = 	 1985
}

@Book{Bal1990,
  author = 	 "Henry Bal",
  title = 	 "Programming Distributed Systems",
  publisher = 	 PH,
  year = 	 1990
}