@article(ACS98,
 author       = "Roberto M. Amadio and Ilaria Castellani and Davide Sangiorgi",
 year         = "1998",
 title        = "On bisimulations for the asynchronous pi-calculus",
 journal      = "Theoretical Computer Science",
 volume       = "195",
 number       = "2",
 pages        = "291 -- 324",
 doi          = "10.1007/3-540-61604-7\_53",
)
@book(Awo10,
 author       = "Steve Awodey",
 year         = "2010",
 title        = "{Category Theory (Oxford Logic Guides)}",
 edition      = "2",
 publisher    = "Oxford University Press, USA",
 doi          = "10.1093/acprof:oso/9780198568612.001.0001",
)
@inproceedings(ft99,
 author       = "Marcelo P. Fiore and Daniele Turi",
 year         = "2001",
 title        = "Semantics of Name and Value Passing",
 booktitle    = "16th Annual IEEE Symposium on Logic in Computer Science (LICS)",
 publisher    = "IEEE Computer Society",
 pages        = "93--104",
 doi          = "10.1109/LICS.2001.932486",
)
@phdthesis(Hag87,
 author       = "Tatsuya Hagino",
 year         = "1987",
 title        = "A Categorical Programming Language",
 school       = "University of Edinburgh",
)
@article(mea55,
 author       = "G.H. Mealy",
 year         = "1955",
 title        = "A Method to Synthesizing Sequential Circuits",
 journal      = "Bell System Technical Journal",
 pages        = "1045--1079",
)
@book(Mil82,
 author       = "R. Milner",
 year         = "1982",
 title        = "A Calculus of Communicating Systems",
 publisher    = "Springer-Verlag New York, Inc.",
)
@article(DH84,
 author       = "Rocco De Nicola and Matthew Hennessy",
 year         = "1984",
 title        = "Testing Equivalences for Processes",
 journal      = "Theoretical Computer Science",
 volume       = "34",
 pages        = "83--133",
 doi          = "10.1016/0304-3975(84)90113-0",
)
@article(Pal2002,
 author       = "Alessandra Palmigiano",
 year         = "2002",
 title        = "Abstract Logics as Dialgebras",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "65",
 number       = "1",
 pages        = "254--269",
 note         = "CMCS'2002, Coalgebraic Methods in Computer Science.",
 doi          = "10.1016/S1571-0661(04)80367-0",
)
@article(PZ01,
 author       = "Erik Poll and Jan Zwanenburg",
 year         = "2001",
 title        = "From Algebras and Coalgebras to Dialgebras",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "44",
 number       = "1",
 pages        = "289 -- 307",
 note         = "CMCS'2001, Coalgebraic Methods in Computer Science.",
 doi          = "10.1016/S1571-0661(04)80915-0",
)
@article(Rut00,
 author       = "J. J. M. M. 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",
)
@phdthesis(Sok05,
 author       = "A. Sokolova",
 year         = "2005",
 title        = "Coalgebraic Analysis of Probabilistic Systems",
 school       = "TU Eindhoven",
)
@inproceedings(Tur97,
 author       = "Daniele Turi and Gordon Plotkin",
 year         = "1997",
 title        = "Towards a Mathematical Operational Semantics",
 booktitle    = "12th Annual IEEE Symposium on Logic in Computer Science (LICS)",
 publisher    = "IEEE Computer Society",
 pages        = "280--291",
 doi          = "10.1109/LICS.1997.614955",
)