@article(cirstea-11,
 author       = "Corina C\^{\i }rstea",
 year         = "2011",
 title        = "Maximal Traces and Path-Based Coalgebraic Temporal Logics",
 journal      = "Theoretical Computer Science",
 volume       = "412",
 number       = "38",
 pages        = "5025--5042",
 doi          = "10.1016/j.tcs.2011.04.025",
)
@inproceedings(Cirstea11,
 author       = "Corina C\^{\i }rstea",
 year         = "2011",
 title        = "Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach",
 booktitle    = "Proc.\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}CALCO\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}2011",
 series       = "Lecture Notes in Computer Science",
 volume       = "6859",
 publisher    = "Springer",
 pages        = "130--144",
 doi          = "10.1007/978-3-642-22944-2\_10",
)
@incollection(CoumansJ2011,
 author       = "Dion Coumans and Bart Jacobs",
 year         = "2013",
 title        = "Scalars, Monads, and Categories",
 editor       = "C. Heunen and M. Sadrzadeh and E. Grefenstette",
 booktitle    = "Quantum Physics and Linguistics. A Compositional, Diagrammatic Discourse",
 publisher    = "Oxford Univ. Press",
 pages        = "184--216",
 doi          = "10.1093/acprof:oso/9780199646296.001.0001",
)
@book(Priestley2002,
 author       = "Brian A. Davey and Hilary A. Priestley",
 year         = "2002",
 title        = "Introduction to Lattices and Order (2. ed.)",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511809088",
)
@misc(EsikK07,
 author       = "Zoltan \'Esik and Werner Kuich",
 year         = "2007",
 title        = "Modern Automata Theory",
 note         = "{http://dmg.tuwien.ac.at/kuich/}",
)
@inproceedings(Ghani2011,
 author       = "Cl{\'e}ment Fumex and Neil Ghani and Patricia Johann",
 year         = "2011",
 title        = "Indexed Induction and Coinduction, Fibrationally",
 booktitle    = "Proc.\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}CALCO\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}2011",
 series       = "Lecture Notes in Computer Science",
 volume       = "6859",
 publisher    = "Springer",
 pages        = "176--191",
 doi          = "10.1007/978-3-642-22944-2\_13",
)
@article(Ghani2012,
 author       = "Neil Ghani and Patricia Johann and Cl{\'e}ment Fumex",
 year         = "2012",
 title        = "Generic Fibrational Induction",
 journal      = "Logical Methods in Computer Science",
 volume       = "8",
 number       = "2",
 doi          = "10.2168/LMCS-8(2:12)2012",
)
@inproceedings(Hasuo12,
 author       = "Ichiro Hasuo and Kenta Cho and Toshiki Kataoka and Bart Jacobs",
 year         = "2013",
 title        = "Coinductive Predicates and Final Sequences in a Fibration",
 booktitle    = "Proc.\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}MFPS\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}XXIX",
 pages        = "181--216",
)
@article(HasuoJS07,
 author       = "Ichiro Hasuo and Bart Jacobs and Ana Sokolova",
 year         = "2007",
 title        = "Generic Trace Semantics via Coinduction",
 journal      = "Logical Methods in Computer Science",
 volume       = "3",
 number       = "4",
 pages        = "1--36",
 doi          = "10.2168/LMCS-3(4:11)2007",
)
@article(HermidaJ98,
 author       = "Claudio Hermida and Bart Jacobs",
 year         = "1998",
 title        = "Structural Induction and Coinduction in a Fibrational Setting",
 journal      = "Inf. Comput.",
 volume       = "145",
 number       = "2",
 pages        = "107--152",
 doi          = "10.1006/inco.1998.2725",
)
@misc(JacobsBook,
 author       = "Bart Jacobs",
 year         = "2012",
 title        = "Introduction to Coalgebra. Towards Mathematics of States and Observations (Version 2.0)",
 note         = "Draft",
)
@inproceedings(JacobsSS12,
 author       = "Bart Jacobs and Alexandra Silva and Ana Sokolova",
 year         = "2012",
 title        = "Trace Semantics via Determinization",
 booktitle    = "Proc.\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}CMCS\tmspace +\thinmuskip {.1667em}\tmspace +\thinmuskip {.1667em}2012",
 series       = "Lecture Notes in Computer Science",
 volume       = "7399",
 publisher    = "Springer",
 pages        = "109--129",
 doi          = "10.1007/978-3-642-32784-1",
)
@article(KS90,
 author       = "Paris C. Kanellakis and Scott A. Smolka",
 year         = "1990",
 title        = "CCS Expressions, Finite State Processes, and Three Problems of Equivalence",
 journal      = "Inf. Comput.",
 volume       = "86",
 number       = "1",
 pages        = "43--68",
 doi          = "10.1016/0890-5401(90)90025-D",
)
@misc(Kock2011,
 author       = "Anders Kock",
 year         = "2011",
 title        = "Monads and extensive quantities",
 note         = "ArXiv:1103.6009",
)
@article(Kock12,
 author       = "Anders Kock",
 year         = "2012",
 title        = "Commutative monads as a theory of distributions",
 journal      = "Theory and Applications of Categories",
 volume       = "26",
 number       = "4",
 pages        = "97--131",
)
@article(Moss99,
 author       = "Lawrence S. Moss",
 year         = "1999",
 title        = "Coalgebraic Logic",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "96",
 number       = "1-3",
 pages        = "277--317",
 doi          = "10.1016/S0168-0072(98)00042-6",
)
@article(Pattinson03,
 author       = "Dirk Pattinson",
 year         = "2003",
 title        = "Coalgebraic modal logic: soundness, completeness and decidability of local consequence",
 journal      = "Theor. Comput. Sci.",
 volume       = "309",
 number       = "1-3",
 pages        = "177--193",
 doi          = "10.1016/S0304-3975(03)00201-9",
)