i1.bib

@Article{AmericanCouncilOfEngineers,
  author = 	 {{Britannica CD}},
  title = 	 {Version 99},
  journal = 	 {Encyclopædia Britannica},
  year = 	 {1994-1999},
  note =	 {Stichwort "`Engineering"'}
}

@Book{FloydKlaeren1999,
  author =	 {Christiane Floyd and Herbert Klaeren},
  title = 	 {Informatik als Praxis und Wissenschaft},
  publisher = 	 {Universität Tübingen},
  year = 	 1999,
  series =	 {Tübinger Studientexte Informatik und Gesellschaft},
  language = {german},
  note =	 {Hrsg. Johannes Busse}
}

@Book{Meschkowski1971,
  author =	 {H. Meschkowski},
  title = 	 {Einführung in die moderne Mathematik},
  publisher = 	 {BI},
  year = 	 1971,
  volume =	 {75/75a},
  language = {german},
  series =	 {Hochschultaschenbücher}
}

@BOOK{MetropolisHowlettRota1980,
	EDITOR = {N. Metropolis and J. Howlett and Gian-Carlo Rota},
	TITLE = {A History of Computing in the Twentieth Century},
	PUBLISHER = {Academic Press},
        language = {english},
	YEAR = 1980
}

@Article{Valk1997,
  author = 	 "Rüdiger Valk",
  title = 	 "{Die Informatik zwischen Formal- und Humanwissenschaften}",
  journal =	 "Informatik-Spektrum",
  year =	 1997,
  volume =	 20,
  number =	 2,
  pages =	 "95-100"
}


@Misc{R6RS,
  title   = {{Revised$^6$ Report on the Algorithmic Language Scheme}},
  author  = {Michael Sperber and William Clinger and R. Kent Dybvig and Matthew Flatt and Anton van Straaten},
  month   = {Sep},
  year    = {2007},
  howpublished = {\url{http://www.r6rs.org/final/r6rs.pdf}}
}

@Book{AbelsonSussmanSussman1996,
  author = 	 {Harold Abelson
                and Gerald Jay Sussman
                and Julie Sussman},
  title = 	 {Structure and Interpretation of Computer Programs},
  publisher = 	 {MIT Press},
  year = 	 1996,
  address =	 {Cambridge, Mass.},
  edition =	 "second",
  language =     "USenglish"
}

@Book{HailperinKaiserKnight1999,
  author =	 {Max Hailperin and Barbara Kaiser and Karl Knight},
  title = 	 {Concrete Abstractions},
  publisher = 	 {Brooks/Cole},
  year = 	 1999
}

@Book{FelleisenFindlerFlattKrishnamurthi2001,
  author =	 {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi},
  title = 	 {How to Design Programs},
  publisher = 	 {MIT Press},
  year = 	 2014,
  edition =	 {2.}
}

@inproceedings{AdamsRees1988,
    author = "Norman Adams and Jonathan Rees",
    title = "Object-Oriented Programming in {Scheme}",
    crossref = {LFP1988},
    pages = "277--288",
    year = "1988"
}

@InProceedings{FlattKrishnamurthiFelleisen1998,
  author = 	 {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  title = 	 {Classes and Mixins},
  crossref =	 {POPL1998},
  pages =	 {171-183},
  year =	 1998
}

@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}
}

@Article{KelseyClingerRees1998,
  author = 	 {Richard Kelsey and William Clinger and Jonathan Rees},
  title = 	 {Revised$^5$ Report on the Algorithmic Language {Scheme}},
  journal = 	 hosc,
  year = 	 1998,
  volume =	 11,
  number =	 1,
  pages =	 {7-105}
}

@ARTICLE{Landin1964,
        AUTHOR = {Peter Landin},
        TITLE = {The mechanical evaluation of expressions},
        JOURNAL = tcj,
        YEAR = 1964,
        VOLUME = {6},
        PAGES = {308-320}
}



@Article{Landin1966,
  author = 	 {Peter Landin},
  title = 	 {The next 700 programming languages},
  journal = 	 cacm,
  year = 	 1966,
  volume = 	 9,
  number = 	 3,
  pages = 	 {157--166},
  month = 	 mar}

@BOOK{Klaeren1983,
        author={Herbert Klaeren},
        title={Algebraische {Spezifikation} --- {Eine} {Einf{\"u}hrung}},
        publisher=SP,
        series={Lehrbuch Informatik},
        year=1983,
        address={Berlin-Heidelberg-New York}}

@INCOLLECTION{Barendregt1990,
        AUTHOR = {Henk P. Barendregt},
        CHAPTER = {7},
        TITLE = {Functional Programming and Lambda Calculus},
        CROSSREF = {VanLeeuwen1990-b}
}

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

@BOOK{Thiemann1994-gfp,
        AUTHOR = {Peter Thiemann},
        TITLE = {Grundlagen der funktionalen Programmierung},
        PUBLISHER = {Teubner Verlag, Stuttgart},
        YEAR = 1994,
        ISBN = {3-519-02137-4}
}

@Book{Brooks1995,
  author =	 {Frederick P. Brooks},
  title = 	 {The Mythical Man-Month, Anniversary Edition: Essays on Software Engineering},
  publisher = 	 AW,
  year = 	 1995,
  edition =	 {2nd},
  month =	 jul,
  language =     "USenglish"
}

@Book{Meyer1997,
  author =	 {Bertrand Meyer},
  title = 	 {Object-Oriented Software Construction},
  publisher = 	 PH,
  year = 	 1997,
  edition =	 {Second},
}

@Book{Gallier1986,
  author =	 {Jean H. Gallier},
  title = 	 {Logic for Computer Science: Foundations of Automatic Theorem Proving},
  publisher = 	 {Harper \& Row},
  year = 	 1986,
  series =	 {Harper \& Row Computer Science and Technology Series}
}

@Book{HuthRyan2004,
  author =	 {Michael Huth and Mark Ryan},
  title = 	 {Logic in Computer Science},
  publisher = 	 {Cambridge University Press},
  edition =	 {2rd},
  year = 	 2004
}

@Book{Hofstadter1979,
  author =	 {Douglas R. Hofstadter},
  title = 	 {{Gödel}, {Escher}, {Bach}: An Eternal Golden Braid},
  publisher = 	 {Basic Books},
  year = 	 1979,
  address =	 {New York}
}

@Book{Raymond1996,
  editor =	 {Eric S. Raymond},
  title = 	 {The New Hacker's Dictionary},
  publisher = 	 {MIT Press},
  year = 	 1996,
  edition =	 {3rd},
  month =	 nov
}

@Book{FriedmanWandHaynes2001,
  author =	 {Daniel P. Friedman and Mitchell Wand and Christopher
  T. Haynes},
  title = 	 {Essentials of Programming Languages},
  publisher = 	 {MIT Press and McGraw-Hill},
  year = 	 2001,
  edition =	 {2nd},
  language =     "USenglish"
}

@BOOK{BauerWoessner1984,
        AUTHOR = {Friedrich L. Bauer and Hans {W{\"o}{\ss}{}ner}},
        TITLE ={Algorithmische Sprache und Programmentwicklung},
        PUBLISHER =SP,
        YEAR ={1984}
}

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

@PROCEEDINGS{LFP1988,
        KEY={LFP 1988},
        TITLE = {{ACM} Conference on {Lisp} and Functional Programming},
        YEAR = 1988,
        BOOKTITLE = {{ACM} Conference on {Lisp} and Functional Programming},
	ADDRESS = {Snowbird, Utah},
        PUBLISHER = {{ACM} Press}
}

@Proceedings{POPL1998,
  title =        proc#"25th "#popl,
  booktitle =     proc#"25th "#popl,
  year =         1998,
  key =          "POPL~1998",
  editor =       "Luca Cardelli",
  publisher =    "{ACM} Press",
  address =      "San Diego, CA, USA",
  month =        jan
}

@BOOK{VanLeeuwen1990-b,
        oldkey = "handbookoftcs",
  title =        "Handbook of Theoretical Computer Science---Formal
  Models and Semantics",
  booktitle =        "Handbook of Theoretical Computer Science---Formal
  Models and Semantics",
  publisher =    ESP,
  year =         1990,
  editor =       "Jan {van Leeuwen}",
  volume =       {B},
  language =     "USenglish"
}


@InCollection{FinancialContracts,
  author = 	 {Simon {Peyton Jones} and Jean-Marc Eber},
  title = 	 {How to write a financial contract},
  booktitle = 	 {The Fun of Programming},
  publisher = 	 {Palgrave Macmillan},
  year = 	 2003,
  editor = 	 {Jeremy Gibbons and Oege de Moor} }

@Article{Adams1993,
  author = 	 {Stephen Adams},
  title = 	 {Efficient sets---a balancing act},
  journal = 	 {Journal of Functional Programming},
  year = 	 1993,
  volume = 	 3,
  number = 	 4,
  pages = 	 {553--561},
  month = 	 oct}

@Book{BirdGibbons2020,
  author = 	 {Richard Bird and Jeremy GIbbons},
  title = 	 {Algorithm Design with {Haskell}},
  publisher = 	 {Cambridge University Press },
  year = 	 2020,
  month = 	 jun}

@InProceedings{ClaessenHughes2000,
  author = 	 {Koen Claessen and John Hughes},
  title = 	 {{QuickCheck}: A Lightweight Tool for Random Testing of {Haskell} Programs},
  pages = {268--279},
  crossref =  {ICFP2000}}

@Proceedings{ICFP2000,
  title = 	 {Proceedings of the International Conference on Functional Programming ({ICFP})},
  year = 	 2000,
  booktitle = {Proceedings of the International Conference on Functional Programming ({ICFP})}},
  publisher =    "{ACM} Press",

@Article{Goldberg1991,
  author = 	 {David Goldberg},
  title = 	 {What every computer scientist should know about floating-point arithmetic},
  journal = 	 {ACM Computing Surveys},
  year = 	 1991,
  volume = 	 23,
  number = 	 1,
  pages = 	 {5--48},
  month = 	 mar}


@Manual{Haskell2010,
  key = {Marlow, Simon},
  editor = 	 {Simon Marlow},
  title = 	 {{Haskell} 2010 Language Report},
  year = 	 2010,
  note = {{\url{https://www.haskell.org/onlinereport/haskell2010/}}}
}

@Book{FelleisenEtAll2013,
  author = 	 {Matthias Felleisen and David Van Horn and Conrad Barski},
  title = 	 {Realm of {Racket}},
  publisher = 	 {No Starch Press},
  year = 	 2013}

@Book{KlabnikNichols2018,
  author = 	 {Steve Klabnik and Carol Nichols},
  title = 	 {The {Rust} Programming Language},
  publisher = 	 {No Starch Press},
  year = 	 2018}



@Book{ChiusanoBjarnason2014,
  author = 	 {Paul Chiusano and Rúnar Bjarnason},
  title = 	 {Functional Programming in {Scala}},
  publisher = 	 {Manning},
  year = 	 2014}

@Book{Hutton2016,
  author = 	 {Graham Hutton},
  title = 	 {Programming in {Haskell}},
  publisher = 	 {Cambridge University Press},
  year = 	 2016}



@Book{Evans2004,
  author = 	 {Eric Evans},
  title = 	 {{Domain-Driven Design}: Tackling Complexity in the Heart of Software},
  publisher = 	 {Addison-Wesley},
  year = 	 2004}


@Book{FriedmanEtAl2018,
  author = 	 {Daniel P. Friedman and William E. Byrd and Oleg Kiselyov and Jason Hemann},
  title = 	 {The Reasoned Schemer},
  publisher = 	 {MIT Press},
  year = 	 2018,
  series = 	 {2nd edition}}



@Article{McCarthy1960,
  author = 	 {John McCarthy},
  title = 	 {Recursive functions of symbolic expressions and their computation by machine, {Part I}},
  journal = 	 cacm,
  year = 	 1960,
  volume = 	 3,
  number = 	 4,
  pages = 	 {184--195},
  month = 	 apr}

@book{Church1941, 
   author = {Church, Alonzo}, 
   title = {The Calculi of Lambda-Conversion}, 
   publisher = {Princeton University Press}, 
   year = {1941}, 
   address = {Princeton, New Jork}, 
   url = {http://books.google.de/books/about/The_Calculi_of_Lambda_conversion.html?id=KCOuGztKVgcC}, 
   quality = {5}, 
   note = {}
 }

@Book{Wagenknecht2016,
  author = 	 {Christian Wagenknecht},
  title = 	 {Programmierparadigmen: Eine Einführung auf der Grundlage von {Racket}},
  publisher = 	 {Springer Verlag},
  year = 	 2016}


@Book{Ramsey2022,
  author = 	 {Norman Ramsey},
  title = 	 {Programming Languages: Build, Prove, and Compare },
  publisher = 	 {Cambridge University Press},
  year = 	 2022}