1. A Logic for Coalgebraic Simulation;Baltag;Electronic Notes in Theoretical Computer Science,2000
2. Relational algebras;Barr,1970
3. Distributive laws;Beck,1969
4. Prentice-Hall international series in computer science;Bird,1997
5. 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