1. Toposes, Triples, and Theories;Barr,1985
2. Category Theory for Computing Science;Barr,1990
3. N. Benton, J. Hughes, and E. Moggi. Monads and Effects APPSEM '00 Summer School, 2000
4. P. Cenciarelli and E. Moggi. em A syntactic approach to modularity in denotational semantics, CWI Technical Report, 1983
5. Esquisses et types des structures algebriques;Ehresmann;Bul. Inst. Polit. Iasi,1968