@inproceedings(abramsky_chucoalg,
 author       = "S. Abramsky",
 year         = "2010",
 title        = "Coalgebras, {C}hu spaces, and representations of physical systems",
 booktitle    = "Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science",
 pages        = "411--420",
 doi          = "10.1109/LICS.2010.35",
)
@inproceedings(ac_protocols,
 author       = "S. Abramsky and B. Coecke",
 year         = "2004",
 title        = "A categorical semantics of quantum protocols",
 booktitle    = "Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science",
 pages        = "415--425",
 doi          = "10.1109/LICS.2004.1319636",
)
@incollection(abhkms_minimization,
 author       = "J. Ad\'amek and F. Bonchi and M. H\"ulsbusch and B. K\"onig and S. Milius and A. Silva",
 year         = "2012",
 title        = "A coalgebraic perspective on minimization and determinization",
 editor       = "Lars Birkedal",
 booktitle    = "Foundations of Software Science and Computational Structures",
 series       = "Lecture Notes in Computer Science",
 volume       = "7213",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "58--73",
 doi          = "10.1007/978-3-642-28729-9\_4",
)
@article(bi_topos,
 author       = "J. Butterfield and C. Isham",
 year         = "1998",
 title        = "A topos perspective on the {K}ochen--{S}pecker theorem: {I}. {Q}uantum states as generalized valuations",
 journal      = "Int. Jour. Theor. Physics",
 volume       = "37",
 number       = "11",
 pages        = "2669--2733",
 doi          = "10.1023/A:1026680806775",
)
@book(dvurecenskij,
 author       = "A. Dvure\v {c}enskij and S. Pulmannov\'a",
 year         = "2000",
 title        = "New Trends in Quantum Structures",
 publisher    = "Kluwer Academic Publishers",
 doi          = "10.1007/978-94-017-2422-7",
)
@article(goguen,
 author       = "J. Goguen",
 year         = "1972",
 title        = "Minimal realizations of machines in closed categories",
 journal      = "Bull. Amer. Math. Soc.",
 volume       = "78",
 number       = "5",
 pages        = "777--783",
 doi          = "10.1090/S0002-9904-1972-13032-5",
)
@article(jacobs_generictrace,
 author       = "I. Hasuo and B. Jacobs and A. Sokolova",
 year         = "2007",
 title        = "Generic trace semantics via coinduction",
 journal      = "Logical Methods in Computer Science",
 volume       = "3",
 number       = "4:11",
 pages        = "1--36",
)
@incollection(jacobsconvex,
 author       = "B. Jacobs",
 year         = "2010",
 title        = "Convexity, duality and effects",
 editor       = "Cristian Calude and Vladimiro Sassone",
 booktitle    = "Theoretical Computer Science",
 series       = "IFIP Advances in Information and Communication Technology",
 publisher    = "Springer Boston",
 pages        = "1--19",
 doi          = "10.1007/978-3-642-15240-5\_1",
)
@inproceedings(jacobswalks,
 author       = "B. Jacobs",
 year         = "2011",
 title        = "Coalgebraic walks, in quantum and {T}uring computing",
 booktitle    = "Lecture Notes in Computer Science",
 series       = "Foundations of Software Science and Computational Structures",
 volume       = "6604",
 pages        = "12--26",
 doi          = "10.1007/978-3-642-19805-2\_2",
)
@inproceedings(jss_tracedet,
 author       = "B. Jacobs and A. Silva and A. Sokolova",
 year         = "2012",
 title        = "Trace semantics via determinization",
 booktitle    = "Lecture Notes in Computer Science, to appear",
 series       = "Proceedings of CMCS 2012",
 doi          = "10.1007/978-3-642-32784-1\_7",
)
@article(moore,
 author       = "C. Moore and J. Crutchfield",
 year         = "2000",
 title        = "Quantum automata and quantum grammars",
 journal      = "Theoretical Computer Science",
 volume       = "237",
 number       = "1",
 pages        = "275--306",
 doi          = "10.1016/S0304-3975(98)00191-1",
)
@article(nerode,
 author       = "A. Nerode",
 year         = "1958",
 title        = "Linear automaton transformations",
 journal      = "Proc. Amer. Math. Soc.",
 volume       = "9",
 number       = "4",
 pages        = "541--544",
 doi          = "10.1090/S0002-9939-1958-0135681-9",
)
@mastersthesis(roumen,
 author       = "F. Roumen",
 year         = "2012",
 title        = "Coalgebraic semantics for quantum computation",
 school       = "Radboud University Nijmegen",
)
@inproceedings(ruttenautomatacoinduction,
 author       = "J. Rutten",
 year         = "1998",
 title        = "Automata and coinduction (an exercise in coalgebra)",
 editor       = "D. Sangiorigi and R. de Simone",
 booktitle    = "Proceedings of CONCUR '98",
 series       = "LNCS",
 volume       = "1466",
 publisher    = "Springer",
 pages        = "194--218",
 doi          = "10.1007/BFb0055624",
)
@article(rutten_universalcoalg,
 author       = "J. Rutten",
 year         = "2000",
 title        = "Universal coalgebra: a theory of systems",
 journal      = "Theoretical Computer Science",
 volume       = "249",
 number       = "1",
 pages        = "3--80",
 doi          = "10.1016/S0304-3975(00)00056-6",
)
@inproceedings(sbbr_powersetcoalg,
 author       = "A. Silva and F. Bonchi and M. Bonsangue and J. Rutten",
 year         = "2010",
 title        = "Generalizing the powerset construction, coalgebraically",
 booktitle    = "Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science",
 series       = "Leibniz International Proceedings in Informatics",
 volume       = "8",
 pages        = "272--283",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.272",
)
@book(elias,
 author       = "S. El\'ias Venegas-Andraca",
 year         = "2008",
 title        = "Quantum Walks for Computer Scientists",
 publisher    = "Morgan \& Claypool",
)