@inproceedings(Ariola-Klop-1994,
 author       = "Zena M. Ariola and Jan Willem Klop",
 year         = "1994",
 title        = "Cyclic Lambda Graph Rewriting",
 booktitle    = "Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science",
 organization = "IEEE Computer Society Press",
 address      = "Paris, France",
 pages        = "416--425",
)
@inproceedings(Anand-Kahl-2007_AGTIVE,
 author       = "Christopher Kumar Anand and Wolfram Kahl",
 year         = "2008",
 title        = "Code Graph Transformations for Verifiable Generation of {SIMD}-Parallel Assembly Code",
 editor       = "Andy Sch{\"u}rr and Manfred Nagl and Albert Z{\"u}ndorf",
 booktitle    = "Applications of Graph Transformations with Industrial Relevance, {AGTIVE 2007}",
 series       = "LNCS",
 volume       = "5088",
 pages        = "217--232",
 doi          = "10.1007/978-3-540-89020-1",
)
@article(Anand-Kahl-2009b,
 author       = "Christopher K. Anand and Wolfram Kahl",
 year         = "2009",
 title        = "An Optimized {Cell BE} Special Function Library Generated by {Coconut}",
 journal      = "IEEE Transactions on Computers",
 volume       = "58",
 number       = "8",
 pages        = "1126--1138",
 doi          = "10.1109/TC.2008.223",
)
@incollection(Anand-Kahl-2009a,
 author       = "Christopher K. Anand and Wolfram Kahl",
 year         = "2009",
 title        = "Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs",
 editor       = "Michael Alexander and William Gardner",
 booktitle    = "Process Algebra for Parallel and Distributed Processing",
 chapter      = "1",
 series       = "CRC Computational Science Series",
 volume       = "2",
 publisher    = "Chapman \& Hall",
 pages        = "3--45",
)
@article(Corradini-Gadducci-1999-APTG,
 author       = "Andrea Corradini and Fabio Gadducci",
 year         = "1999",
 title        = "An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories",
 journal      = "Applied Categorical Structures",
 volume       = "7",
 number       = "4",
 pages        = "299--331",
)
@inproceedings(Corradini-Rossi-1991,
 author       = "Andrea Corradini and Francesca Rossi",
 year         = "1993",
 title        = "Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming",
 editor       = "B. Courcelle and G. Rozenberg",
 booktitle    = "Selected Papers of the International Workshop on Computing by Graph Transformation, {Bordeaux, France, March 21--23, 1991}",
 publisher    = "Elsevier",
 pages        = "7--48",
 doi          = "10.1016/0304-3975(93)90063-Y",
 note         = "Theoretical Computer Science {\bf 109} (1--2)",
)
@book(Freyd-Scedrov-1990,
 author       = "Peter J. Freyd and Andre Scedrov",
 year         = "1990",
 title        = "Categories, Allegories",
 series       = "North-Holland Mathematical Library",
 volume       = "39",
 publisher    = "North-Holland",
 address      = "Amsterdam",
)
@phdthesis(Gonzalia-2006,
 author       = "Carlos Gonzal{\'{\i }}a",
 year         = "2006",
 title        = "Relations in Dependent Type Theory",
 type         = "Ph.D. thesis",
 school       = "Department of Computer Science and Engineering, Chalmers University of Technology, G\"oteborg University",
 note         = "Technical Report No. 14D",
)
@incollection(Haeberer-Frias-Baum-Veloso-1997,
 author       = "Armando Haeberer and Marcelo Frias and Gabriel Baum and Paulo Veloso",
 year         = "1997",
 title        = "Fork Algebras",
 editor       = "Chris Brink and Wolfram Kahl and Gunther Schmidt",
 booktitle    = "Relational Methods in Computer Science",
 chapter      = "4",
 series       = "Advances in Computing Science",
 publisher    = "Springer",
 address      = "Wien, New York",
 pages        = "54--69",
)
@article(Hoffmann-Plump-1991,
 author       = "Berthold Hoffmann and Detlef Plump",
 year         = "1991",
 title        = "Implementing Term Rewriting by Jungle Evaluation",
 journal      = "Informatique th\'eorique et applications/Theoretical Informatics and Applications",
 volume       = "25",
 number       = "5",
 pages        = "445--472",
)
@inproceedings(Huet-Saibi-1998,
 author       = "G{\'e}rard Huet and Amokrane Sa{\"{\i }}bi",
 year         = "1998",
 title        = "Constructive Category Theory",
 booktitle    = "Proceedings of the Joint CLICS-TYPES Workshop on Categories and Type Theory, Goteborg",
 doi          = "10.1.1.39.4193",
)
@inproceedings(Huet-Saibi-2000,
 author       = "G{\'e}rard Huet and Amokrane Sa{\"{\i }}bi",
 year         = "2000",
 title        = "Constructive Category Theory",
 editor       = "Gordon D. Plotkin and Colin Stirling and Mads Tofte",
 booktitle    = "Proof, language, and interaction: Essays in honour of {Robin Milner}",
 series       = "Foundations Of Computing Series",
 publisher    = "MIT Press",
 pages        = "239--275",
)
@inproceedings(Kahl-Anand-Carette-2005,
 author       = "Wolfram Kahl and Christopher Kumar Anand and Jacques Carette",
 year         = "2006",
 title        = "Control-Flow Semantics for Assembly-Level Data-Flow Graphs",
 editor       = "Wendy McCaull and Michael Winter and Ivo D{\"u}ntsch",
 booktitle    = "8th Intl.\hbox {}{} Seminar on Relational Methods in Computer Science, {RelMiCS 8, Feb.\hbox {}{} 2005}",
 series       = "LNCS",
 volume       = "3929",
 publisher    = "Springer",
 pages        = "147--160",
)
@inproceedings(Kanda-1981,
 author       = "Akira Kanda",
 year         = "1981",
 title        = "Constructive Category Theory (No. 1)",
 editor       = "Jozef Gruska and Michal Chytil",
 booktitle    = "Mathematical Foundations of Computer Science, {MFCS '81}",
 series       = "LNCS",
 volume       = "118",
 publisher    = "Springer",
 pages        = "563--577",
 doi          = "10.1007/3-540-10856-4_125",
)
@book(MacLane-1971,
 author       = "Saunders Mac Lane",
 year         = "1971",
 title        = "Categories for the Working Mathematician",
 publisher    = "Springer-Verlag",
)
@article(Maraist-Oderski-Wadler-1998,
 author       = "John Maraist and Martin Oderski and Philip Wadler",
 year         = "1998",
 title        = "The Call-by-Need Lambda Calculus",
 journal      = "J.\hbox {}{} Functional Programming",
 volume       = "8",
 number       = "3",
 pages        = "275--317",
)
@phdthesis(Norell-2007,
 author       = "Ulf Norell",
 year         = "2007",
 title        = "Towards a Practical Programming Language Based on Dependent Type Theory",
 type         = "Ph.D. thesis",
 school       = "Department of Computer Science and Engineering, Chalmers University of Technology",
 url          = "http://www.cs.chalmers.se/~ ulfn/papers/thesis.html",
)
@inproceedings(Pouillard-Pottier-2010,
 author       = "Nicolas Pouillard and Fran\c {c}ois Pottier",
 year         = "2010",
 title        = "A fresh look at programming with names and binders",
 booktitle    = "{ICFP 2010}, Intl.\hbox {}{} Conf.\hbox {}{} on Functional Programming",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "217--228",
 doi          = "10.1145/1863543.1863575",
 url          = "http://nicolaspouillard.fr/publis/pouillard-pottier-fresh-look-agda-2010/",
)
@inproceedings(Turner-1982,
 author       = "David A. Turner",
 year         = "1982",
 title        = "Recursion Equations as a Programming Language",
 editor       = "J. Darlington",
 booktitle    = "Functional Programming and its Applications: An Advanced Course",
 publisher    = "Cambridge Univ.\hbox {}{} Press",
 pages        = "1--27",
)