@inproceedings(PPDP13,
 author       = {K. Asada and S. Hidaka and H. Kato and Z. Hu and K. Nakano},
 year         = {2013},
 title        = {A parameterized graph transformation calculus for finite graphs with monadic branches},
 booktitle    = {Proc. of {PPDP} '13},
 pages        = {73--84},
 doi          = {10.1145/2505879.2505903},
)
@book(Baader,
 author       = {F. Baader and T. Nipkow},
 year         = {1998},
 title        = {Term Rewriting and All That},
 publisher    = {Cambridge University Press},
)
@book(BE,
 author       = {S. L. Bloom and Z. {\'{E}}sik},
 year         = {1993},
 title        = {Iteration Theories - The Equational Logic of Iterative Processes},
 series       = {{EATCS} Monographs on Theoretical Computer Science},
 publisher    = {Springer},
)
@inproceedings(iter-alg,
 author       = {S. L. Bloom and Z. {\'{E}}sik},
 year         = {1994},
 title        = {Solving Polynomial Fixed Point Equations},
 booktitle    = {Proc. of MFCS'94},
 series       = {LNCS 841},
 pages        = {52--67},
 doi          = {10.1007/3-540-58338-6\_58},
)
@article(BET,
 author       = {S. L. Bloom and Z. {\'{E}}sik and D. Taubner},
 year         = {1993},
 title        = {Iteration Theories of Synchronization Trees},
 journal      = {Inf. Comput.},
 volume       = {102},
 number       = {1},
 pages        = {1--55},
 doi          = {10.1006/inco.1993.1001},
)
@inproceedings(SIGMOD1996,
 author       = {P. Buneman and S. Davidson and G. Hillebrand and D. Suciu},
 year         = {1996},
 title        = {{A query language and optimization techniques for unstructured data }},
 booktitle    = {Proc. of ACM-SIGMOD'96},
 doi          = {10.1145/233269.233368},
)
@inproceedings(Buneman2,
 author       = {P. Buneman and S. B. Davidson and M. F. Fernandez and D. Suciu},
 year         = {1997},
 title        = {Adding Structure to Unstructured Data},
 booktitle    = {Proc. of {ICDT} '97},
 pages        = {336--350},
 doi          = {10.1007/3-540-62222-5\_55},
)
@article(Buneman,
 author       = {P. Buneman and M. F. Fernandez and D. Suciu},
 year         = {2000},
 title        = {{UnQL}: {A} Query Language and Algebra for Semistructured Data Based on Structural Recursion},
 journal      = {{VLDB} J.},
 volume       = {9},
 number       = {1},
 pages        = {76--110},
 doi          = {10.1007/s007780050084},
)
@book(Crole,
 author       = {R.L. Crole},
 year         = {1993},
 title        = {Categories for Types},
 publisher    = {Cambridge Mathematical Textbook},
)
@article(IterCat,
 author       = {Z. {\'{E}}sik},
 year         = {1999},
 title        = {Axiomatizing Iteration Categories},
 journal      = {Acta Cybernetica},
 volume       = {14},
 pages        = {65--82},
)
@article(Esik-group,
 author       = {Z. {\'{E}}sik},
 year         = {1999},
 title        = {Group Axioms for Iteration},
 journal      = {Inf. Comput.},
 volume       = {148},
 number       = {2},
 pages        = {131--180},
 doi          = {10.1006/inco.1998.2746},
)
@inproceedings(Esik00,
 author       = {Z. {\'{E}}sik},
 year         = {2000},
 title        = {Axiomatizing the Least Fixed Point Operation and Binary Supremum},
 booktitle    = {Proc. of Computer Science Logic 2000},
 series       = {LNCS 1862},
 pages        = {302--316},
 doi          = {10.1007/3-540-44622-2\_20},
)
@article(Esik02,
 author       = {Z. {\'{E}}sik},
 year         = {2002},
 title        = {Continuous Additive Algebras and Injective Simulations of Synchronization Trees},
 journal      = {J. Log. Comput.},
 volume       = {12},
 number       = {2},
 pages        = {271--300},
 doi          = {10.1093/logcom/12.2.271},
)
@inproceedings(FiorePROP,
 author       = {M. P. Fiore and M. D. Campos},
 year         = {2013},
 title        = {The Algebra of Directed Acyclic Graphs},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations},
 series       = {LNCS 7860},
 pages        = {37--51},
 doi          = {10.1007/978-3-642-38164-5\_4},
)
@phdthesis(Hassei,
 author       = {M. Hasegawa},
 year         = {1997},
 title        = {Models of Sharing Graphs: A Categorical Semantics of \textsf{let} and \textsf{letrec}},
 school       = {University of Edinburgh},
 note         = {Distinguished Dissertation Series, Springer-Verlag, 1999},
)
@inproceedings(HasseiTLCA,
 author       = {M. Hasegawa},
 year         = {1997},
 title        = {Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi},
 booktitle    = {Proc. of {TLCA}'97},
 pages        = {196--213},
 doi          = {10.1007/3-540-62688-3\_37},
)
@inproceedings(ICFP13,
 author       = {S. Hidaka and K. Asada and Z. Hu and H. Kato and K. Nakano},
 year         = {2013},
 title        = {Structural recursion for querying ordered graphs},
 booktitle    = {Proc. of {ACM} {SIGPLAN} ICFP'13},
 pages        = {305--318},
 doi          = {10.1145/2500365.2500608},
)
@inproceedings(ICFP10,
 author       = {S. Hidaka and Z. Hu and K. Inaba and H. Kato and K. Matsuda and K. Nakano},
 year         = {2010},
 title        = {Bidirectionalizing graph transformations},
 booktitle    = {Proc. of {ICFP} 2010},
 pages        = {205--216},
 doi          = {10.1145/1863543.1863573},
)
@inproceedings(LOPSTR,
 author       = {S. Hidaka and Z. Hu and K. Inaba and H. Kato and K. Matsuda and K. Nakano and I. Sasano},
 year         = {2011},
 title        = {Marker-Directed Optimization of UnCAL Graph Transformations},
 booktitle    = {Proc. of {LOPSTR}'11},
 pages        = {123--138},
 doi          = {10.1007/978-3-642-32211-2\_9},
)
@article(JSV,
 author       = {A. Joyal and R. Street and D. Verity},
 year         = {1996},
 title        = {Traced monoidal categories},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {119},
 number       = {3},
 pages        = {447--468},
 doi          = {10.1017/S0305004100074338},
)
@book(MacLane,
 author       = {{Mac Lane}, S.},
 year         = {1971},
 title        = {Categories for the Working Mathematician},
 series       = {Graduate Texts in Mathematics},
 volume       = {5},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4612-9839-7},
)
@article(para,
 author       = {L. G. L. T. Meertens},
 year         = {1992},
 title        = {Paramorphisms},
 journal      = {Formal Asp. Comput.},
 volume       = {4},
 number       = {5},
 pages        = {413--424},
 doi          = {10.1007/BF01211391},
)
@article(MilnerRegular,
 author       = {R. Milner},
 year         = {1984},
 title        = {A Complete Inference System for a Class of Regular Behaviours},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {28},
 number       = {3},
 pages        = {439--466},
 doi          = {10.1016/0022-0000(84)90023-0},
)
@phdthesis(Sew95,
 author       = {P. M. Sewell},
 year         = {1995},
 title        = {The Algebra of Finite State Processes},
 school       = {University of Edinburgh},
 note         = {Dept. of Computer Science technical report CST-118-95, also published as LFCS-95-328},
)
@inproceedings(alex-plot,
 author       = {A. K. Simpson and G. D. Plotkin},
 year         = {2000},
 title        = {Complete Axioms for Categorical Fixed-Point Operators},
 booktitle    = {Proc. of LICS'00},
 pages        = {30--41},
 doi          = {10.1109/LICS.2000.855753},
)