@phdthesis(bartelsthesis,
 author       = "F. Bartels",
 year         = "2004",
 title        = "On Generalised Coinduction and Probabilistic Specification Formats",
 type         = "{PhD} dissertation",
 school       = "CWI, Amsterdam",
)
@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",
)
@article(endrullis-pebble,
 author       = "J. Endrullis and C. Grabmayer and D. Hendriks and A. Isihara and J. Klop",
 year         = "2007",
 title        = "Productivity of Stream Definitions",
 journal      = "Fundamentals of Computation Theory",
 pages        = "274--287",
 doi          = "10.1007/978-3-540-74240-1\_24",
)
@inproceedings(tyft,
 author       = "W. Fokkink",
 year         = "1994",
 title        = "The Tyft/Tyxt Format Reduces to Tree Rules",
 booktitle    = "Procs. TACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "789",
 publisher    = "Springer",
 pages        = "440--453",
 doi          = "10.1007/3-540-57887-0\_109",
)
@article(ntree,
 author       = "W. Fokkink and R. J. van Glabbeek",
 year         = "1996",
 title        = "Ntyft/ntyxt rules reduce to ntree rules",
 journal      = "Information and Computation",
 volume       = "126",
 pages        = "1--10",
 doi          = "10.1006/inco.1996.0030",
)
@article(vGnegative,
 author       = "R. J. van Glabbeek",
 year         = "2004",
 title        = "The meaning of negative premises in transition system specifications II",
 journal      = "J. Log. Algebr. Program.",
 volume       = "60-61",
 pages        = "229--258",
 doi          = "10.1016/j.jlap.2004.03.007",
)
@inproceedings(kickformat,
 author       = "M. Kick",
 year         = "2002",
 title        = "Rule Formats for Timed Processes",
 booktitle    = "Proc.\ CMCIM'02",
 series       = "ENTCS",
 volume       = "68",
 publisher    = "Elsevier",
 pages        = "12--31",
 doi          = "10.1016/S1571-0661(04)80498-5",
)
@article(tcs11,
 author       = "B. Klin",
 year         = "2011",
 title        = "Bialgebras for structural operational semantics: An introduction",
 journal      = "Theoretical Computer Science",
 volume       = "412",
 number       = "38",
 pages        = "5043--5069",
 doi          = "10.1016/j.tcs.2011.03.023",
 note         = "CMCS Tenth Anniversary Meeting",
)
@book(kozen,
 author       = "D. Kozen",
 year         = "1997",
 title        = "Automata and computability",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-1844-9",
)
@article(lenisapowerwatanabe2,
 author       = "M. Lenisa and J. Power and H. Watanabe",
 year         = "2004",
 title        = "Category theory for operational semantics",
 journal      = "Theoretical Computer Science",
 volume       = "327",
 number       = "1-2",
 pages        = "135--154",
 doi          = "10.1016/j.tcs.2004.07.024",
)
@book(maclane,
 author       = "S. {Mac Lane}",
 year         = "1998",
 title        = "Categories for the Working Mathematician",
 edition      = "second",
 publisher    = "Springer",
)
@article(ruttentcs,
 author       = "J. J. M. M. Rutten",
 year         = "2000",
 title        = "Universal coalgebra: a theory of systems",
 journal      = "Theoretical Computer Science",
 volume       = "249",
 pages        = "3--80",
 doi          = "10.1016/S0304-3975(00)00056-6",
)
@incollection(statontyft,
 author       = "S. Staton",
 year         = "2008",
 title        = "General Structural Operational Semantics through Categorical Logic",
 booktitle    = "Proc. {LICS}'08",
 publisher    = "IEEE Computer Society Press",
 pages        = "166--177",
 doi          = "10.1109/LICS.2008.43",
)
@incollection(turiplotkin,
 author       = "D. Turi and G. D. Plotkin",
 year         = "1997",
 title        = "Towards a Mathematical Operational Semantics",
 booktitle    = "Proc. {LICS}'97",
 publisher    = "IEEE Computer Society Press",
 pages        = "280--291",
 doi          = "10.1109/LICS.1997.614955",
)