1. A 2-categorical approach to change of base and geometric morphisms I;Carboni;Cahiers de Topologie et Géométrie Différentielle Catégoriques,1991
2. C. Cǐrstea. Institutionalising many-sorted coalgebraic modal logic. In L. Moss, editor, Proceedings of CMCS, number 65.1 in ENTCS, 2002.
3. P. Gumm. Elements of the general theory of coalgebras. LUATS'99, Rand Africaans University, Johannesburg, South Africa, 1999. Preliminary Version: http://www.mathematik.uni-marburg.de/gumm/Papers/Luatcs.ps.
4. Objects and classes, co-algebraically;Jacobs,1996
5. Communication and Concurrency;Milner,1989