@article(GSOS,
 author       = {B. Bloom and S. Istrail and A. Meyer},
 year         = {1995},
 title        = {Bisimulation can't be traced},
 journal      = {Journal of the ACM},
 volume       = {42},
 pages        = {232--268},
 doi          = {10.1145/200836.200876},
)
@inproceedings(DBLP:conf/csl/BonchiPPR14,
 author       = {Filippo Bonchi and Daniela Petrisan and Damien Pous and Jurriaan Rot},
 year         = {2014},
 title        = {Coinduction up-to in a fibrational setting},
 booktitle    = {Proc.\ 29th Symposium on Logic in Computer Science},
 publisher    = {ACM},
 pages        = {20:1--20:9},
 doi          = {10.1145/2603088.2603149},
)
@article(DBLP:journals/mscs/CarboniJ95,
 author       = {Aurelio Carboni and Peter Johnstone},
 year         = {1995},
 title        = {Connected Limits, Familial Representability and Artin Glueing},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {5},
 number       = {4},
 pages        = {441--459},
 doi          = {10.1017/S0960129500001183},
)
@article(DBLP:journals/tcs/CorradiniHM02,
 author       = {Andrea Corradini and Reiko Heckel and Ugo Montanari},
 year         = {2002},
 title        = {Compositional {SOS} and beyond: a coalgebraic view of open systems},
 journal      = {Theoretical Computer Science},
 volume       = {280},
 number       = {1-2},
 pages        = {163--192},
 doi          = {10.1016/S0304-3975(01)00025-1},
)
@article(FioreHurEquational,
 author       = {Marcelo Fiore and Chung-Kil Hur},
 year         = {2009},
 title        = {On the construction of free algebras for equational systems},
 journal      = {Theoretical Computer Science},
 volume       = {410},
 pages        = {1704--1729},
 doi          = {10.1016/j.tcs.2008.12.052},
)
@inproceedings(DBLP:conf/ifipTCS/Fiore00,
 author       = {Marcelo P. Fiore},
 year         = {2000},
 title        = {Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems},
 booktitle    = {IFIP TCS},
 series       = {LNCS},
 volume       = {1872},
 publisher    = {Springer},
 pages        = {457--473},
 doi          = {10.1007/3-540-44929-9\_32},
)
@inproceedings(DBLP:conf/lics/Fiore08,
 author       = {Marcelo P. Fiore},
 year         = {2008},
 title        = {Second-Order and Dependently-Sorted Abstract Syntax},
 booktitle    = {LICS},
 organization = {IEEE},
 pages        = {57--68},
 doi          = {10.1109/LICS.2008.38},
)
@inproceedings(DBLP:conf/lics/FioreS06,
 author       = {Marcelo P. Fiore and Sam Staton},
 year         = {2006},
 title        = {A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics},
 booktitle    = {Proc.\ 21st Symposium on Logic in Computer Science},
 organization = {IEEE},
 pages        = {49--58},
 doi          = {10.1109/LICS.2006.7},
)
@inproceedings(DBLP:conf/lics/FioreT01,
 author       = {Marcelo P. Fiore and Daniele Turi},
 year         = {2001},
 title        = {Semantics of Name and Value Passing},
 booktitle    = {Proc.\ 16th Symposium on Logic in Computer Science},
 organization = {IEEE},
 pages        = {93--104},
 doi          = {10.1109/LICS.2001.932486},
)
@article(garner:hal-01246365,
 author       = {Richard H. G. Garner and Tom Hirschowitz},
 year         = {2018},
 title        = {Shapely monads and analytic functors},
 journal      = {Journal of Logic and Computation},
 volume       = {28},
 number       = {1},
 pages        = {33--83},
 doi          = {10.1093/logcom/exx029},
)
@article(tyft,
 author       = {Jan Friso Groote and Frits Vaandrager},
 year         = {1992},
 title        = {Structured Operational Semantics and Bisimulation as a Congruence},
 journal      = {Information and Computation},
 volume       = {100},
 pages        = {202--260},
 doi          = {10.1016/0890-5401(92)90013-6},
)
@article(hirschowitz:hal-01815328,
 author       = {Tom Hirschowitz},
 year         = {2019},
 title        = {Familial monads and structural operational semantics},
 journal      = {{PACMPL}},
 volume       = {3},
 number       = {{POPL}},
 pages        = {21:1--21:28},
 doi          = {10.1145/3290334},
)
@book(Hovey,
 author       = {Mark Hovey},
 year         = {1999},
 title        = {Model Categories},
 series       = {Mathematical Surveys and Monographs, Volume 63, AMS (1999)},
 volume       = {63},
 publisher    = {American Mathematical Society},
 doi          = {10.1090/surv/063},
)
@inproceedings(DBLP:conf/lics/JoyalNW93,
 author       = {Andr{\'e} Joyal and Mogens Nielsen and Glynn Winskel},
 year         = {1993},
 title        = {Bisimulation and open maps},
 booktitle    = {Proc.\ 8th Symposium on Logic in Computer Science},
 organization = {IEEE},
 pages        = {418--427},
 doi          = {10.1109/LICS.1993.287566},
)
@book(LeinsterCats,
 author       = {Tom Leinster},
 year         = {2014},
 title        = {Basic Category Theory},
 series       = {Cambridge Studies in Advanced Mathematics},
 volume       = {143},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107360068},
)
@book(MacLane:cwm,
 author       = {{Mac Lane}, Saunders},
 year         = {1998},
 title        = {Categories for the Working Mathematician},
 edition      = {2nd},
 series       = {Graduate Texts in Mathematics},
 volume       = {5},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-4721-8},
)
@book(MM,
 author       = {{Mac Lane}, Saunders and Ieke Moerdijk},
 year         = {1992},
 title        = {Sheaves in Geometry and Logic: A First Introduction to Topos Theory},
 series       = {Universitext},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-0927-0},
)
@book(Milner80,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 series       = {LNCS},
 volume       = {92},
 publisher    = {Springer},
 doi          = {10.1007/3-540-10235-3},
)
@article(mousavi2007sos,
 author       = {MohammadReza Mousavi and Michel A. Reniers and Jan Friso Groote},
 year         = {2007},
 title        = {SOS Formats and Meta-Theory: 20 Years After},
 journal      = {Theoretical Computer Science},
 volume       = {373},
 number       = {3},
 pages        = {238--272},
 doi          = {10.1016/j.tcs.2006.12.019},
)
@phdthesis(Peressotti,
 author       = {Marco Peressotti},
 year         = {2017},
 title        = {Coalgebraic Semantics of Self-Referential Behaviours},
 school       = {University of Udine},
 doi          = {10.13140/rg.2.2.26899.07203},
)
@techreport(PlotkinSOS,
 author       = {Gordon D. Plotkin},
 year         = {1981},
 title        = {A Structural Approach to Operational Semantics},
 type         = {DAIMI Report},
 number       = {FN-19},
 institution  = {Computer Science Department, Aarhus University},
)
@book(riehl,
 author       = {Emily Riehl},
 year         = {2014},
 title        = {Categorical Homotopy Theory},
 series       = {New Mathematical Monographs},
 volume       = {24},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107261457},
)
@book(SangioRutten,
 editor       = {Davide Sangiorgi and Jan Rutten},
 year         = {2011},
 title        = {Advanced Topics in Bisimulation and Coinduction},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {52},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511792588},
)
@inproceedings(DBLP:conf/lics/Staton08,
 author       = {Sam Staton},
 year         = {2008},
 title        = {General Structural Operational Semantics through Categorical Logic},
 booktitle    = {Proc.\ 23rd Symposium on Logic in Computer Science},
 pages        = {166--177},
 doi          = {10.1109/LICS.2008.43},
)
@inproceedings(plotkin:turi:bialgebraic,
 author       = {Daniele Turi and Gordon D. Plotkin},
 year         = {1997},
 title        = {Towards a Mathematical Operational Semantics},
 booktitle    = {Proc.\ 12th Symposium on Logic in Computer Science},
 pages        = {280--291},
 doi          = {10.1109/LICS.1997.614955},
)
@article(Weber:famfun,
 author       = {Mark Weber},
 year         = {2007},
 title        = {Familial 2-functors and parametric right adjoints},
 journal      = {Theory and Applications of Categories},
 volume       = {18},
 number       = {22},
 pages        = {665--732},
)