1. Fiore, M.P., Turi, D.: Semantics of name and value passing. In: 12th Annual Symposium on Logic in Computer Science (LICS), pp. 93–104. IEEE (2001)
2. Trnková, V., Goralcík, P.: On products in generalized algebraic categories. Commentationes Mathematicae Universitatis Carolinae 10(1), 49–89 (1969)
3. Adámek, J.: Limits and colimits in generalized algebraic categories. Czechoslovak Mathematical Journal 26(1), 55–64 (1976)
4. Hagino, T.: A Categorical Programming Language. PhD thesis, University of Edinburgh (1987)
5. Poll, E., Zwanenburg, J.: From algebras and coalgebras to dialgebras. Electronic Notes in Theoretical Computer Science 44(1), 289–307 (2001)