@incollection(AFV,
 author       = {L. Aceto and W. Fokkink and C. Verhoef},
 year         = {2001},
 title        = {Structural Operational Semantics},
 booktitle    = {Handbook of Process Algebra},
 publisher    = {Elsevier Science},
 pages        = {197--292},
 doi          = {10.1016/B978-044482830-9/50021-7},
)
@article(AdamekP04,
 author       = {J. Ad{\'{a}}mek and H-E. Porst},
 year         = {2004},
 title        = {On tree coalgebras and coalgebra presentations},
 journal      = {Theor. Comput. Sci.},
 volume       = {311},
 number       = {1-3},
 pages        = {257--283},
 doi          = {10.1016/S0304-3975(03)00378-5},
)
@book(AR94,
 author       = {J. Ad{\'{a}}mek and J. Rosick\'{y}},
 year         = {1994},
 title        = {Locally Presentable and Accessible Categories},
 series       = {Cambridge Tracts in Mathematics},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511600579},
)
@phdthesis(Bartels04,
 author       = {F. Bartels},
 year         = {2004},
 title        = {On generalised coinduction and probabilistic specification formats},
 school       = {CWI, Amsterdam},
)
@article(BloomIM95,
 author       = {B. Bloom and S. Istrail and A. Meyer},
 year         = {1995},
 title        = {Bisimulation Can't be Traced},
 journal      = {J. ACM},
 volume       = {42},
 number       = {1},
 pages        = {232--268},
 doi          = {10.1145/200836.200876},
)
@article(BonchiPPR17,
 author       = {F. Bonchi and D. Petrisan and D. Pous and J. Rot},
 year         = {2017},
 title        = {A general account of coinduction up-to},
 journal      = {Acta Inf.},
 volume       = {54},
 number       = {2},
 pages        = {127--190},
 doi          = {10.1007/s00236-016-0271-4},
)
@incollection(droste2009semirings,
 author       = {M. Droste and W. Kuich},
 year         = {2009},
 title        = {Semirings and formal power series},
 booktitle    = {Handbook of Weighted Automata},
 publisher    = {Springer},
 pages        = {3--28},
 doi          = {10/bj2xgm},
)
@inproceedings(MS10,
 author       = {M. Fiore and S. Staton},
 year         = {2010},
 title        = {Positive structural operational semantics and monotone distributive laws},
 booktitle    = {CMCS Short Contributions},
 pages        = {8},
)
@article(GummS01,
 author       = {H. P. Gumm and T. Schr{\"{o}}der},
 year         = {2001},
 title        = {Monoid-labeled transition systems},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {44},
 number       = {1},
 pages        = {185--204},
 doi          = {10.1016/S1571-0661(04)80908-3},
)
@article(HJ04,
 author       = {J. Hughes and B. Jacobs},
 year         = {2004},
 title        = {Simulations in coalgebra},
 journal      = {Theor. Comput. Sci.},
 volume       = {327},
 number       = {1-2},
 pages        = {71--108},
 doi          = {10.1016/j.tcs.2004.07.022},
)
@book(Jacobs:coalg,
 author       = {B. Jacobs},
 year         = {2016},
 title        = {Introduction to Coalgebra: Towards Mathematics of States and Observation},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 volume       = {59},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781316823187},
)
@incollection(BR12,
 author       = {B. Jacobs and J. Rutten},
 year         = {2011},
 title        = {An introduction to (co)algebras and (co)induction.},
 booktitle    = {Advanced Topics in Bisimulation and Coinduction},
 publisher    = {Cambridge University Press},
 pages        = {38--99},
 doi          = {10.1017/CBO9780511792588.003},
)
@article(J75,
 author       = {P. T. Johnstone},
 year         = {1975},
 title        = {Adjoint lifting theorems for categories of algebras},
 journal      = {Bulletin of the London Mathematical Society},
 volume       = {7},
 number       = {3},
 pages        = {294--297},
 doi          = {10.1112/blms/7.3.294},
)
@inproceedings(Klin09,
 author       = {B. Klin},
 year         = {2009},
 title        = {Structural Operational Semantics for Weighted Transition Systems},
 editor       = {J. Palsberg},
 booktitle    = {Semantics and Algebraic Specification},
 series       = {LNCS},
 volume       = {5700},
 publisher    = {Springer},
 pages        = {121--139},
 doi          = {10/cxqzcf},
)
@article(Klin11,
 author       = {B. Klin},
 year         = {2011},
 title        = {Bialgebras for structural operational semantics: An introduction},
 journal      = {TCS},
 volume       = {412},
 number       = {38},
 pages        = {5043--5069},
 doi          = {10.1016/j.tcs.2011.03.023},
)
@inproceedings(KlinN14,
 author       = {B. Klin and Nachy\l{}a, B.},
 year         = {2014},
 title        = {Distributive Laws and Decidable Properties of {SOS} Specifications},
 editor       = {Johannes Borgstr{\"{o}}m and Silvia Crafa},
 booktitle    = {Proc. EXPRESS/SOS 2014},
 series       = {{EPTCS}},
 volume       = {160},
 pages        = {79--93},
 doi          = {10.4204/EPTCS.160.8},
)
@article(KlinN17,
 author       = {B. Klin and Nachy\l{}a, B.},
 year         = {2017},
 title        = {Some undecidable properties of {SOS} specifications},
 journal      = {J. Log. Algebr. Meth. Program.},
 volume       = {87},
 pages        = {94--109},
 doi          = {10.1016/j.jlamp.2016.08.005},
)
@article(PowerW02,
 author       = {J. Power and H. Watanabe},
 year         = {2002},
 title        = {Combining a monad and a comonad},
 journal      = {Theor. Comput. Sci.},
 volume       = {280},
 number       = {1-2},
 pages        = {137--162},
 doi          = {10.1016/S0304-3975(01)00024-X},
)
@article(RotB16,
 author       = {J. Rot and M. M. Bonsangue},
 year         = {2016},
 title        = {Structural congruence for bialgebraic semantics},
 journal      = {J. Log. Algebr. Meth. Program.},
 volume       = {85},
 number       = {6},
 pages        = {1268--1291},
 doi          = {10.1016/j.jlamp.2016.08.001},
)
@article(Rutten00,
 author       = {J. J. M. M. Rutten},
 year         = {2000},
 title        = {Universal coalgebra: a theory of systems},
 journal      = {TCS},
 volume       = {249},
 number       = {1},
 pages        = {3--80},
 url          = {http://dx.doi.org/10.1016/S0304-3975(00)00056-6},
)
@inproceedings(Staton08,
 author       = {S. Staton},
 year         = {2008},
 title        = {General Structural Operational Semantics through Categorical Logic},
 booktitle    = {LICS},
 publisher    = {IEEE Computer Society},
 pages        = {166--177},
 doi          = {10.1109/LICS.2008.43},
)
@inproceedings(TP97,
 author       = {D. Turi and G. Plotkin},
 year         = {1997},
 title        = {Towards a Mathematical Operational Semantics},
 booktitle    = {LICS},
 publisher    = {IEEE Computer Society},
 pages        = {280--291},
 doi          = {10.1109/LICS.1997.614955},
)