1. Toposes, Triples and Theories;Barr,1985
2. Category Theory for Computing Science;Barr,1999
3. Two-dimensional monad theory;Blackwell;Journal of Pure and Applied Algebra,1989
4. Closed categories;Eilenberg,1965
5. Algebras, coalgebras, monads and comonads;Ghani,2001