1. Initial algebra semantics and continuous algebras;Goguen;Journal of the ACM,1977
2. Compilers — Principles, Techniques and Tools;Aho,1985
3. Premonoidal categories and notions of computation;Power;Mathematical Structures in Computer Science,1997
4. E. Moggi, Computational lambda calculus and monads, in: Proceedings, Fourth Annual Symposium on Logic in Computer Science, LICS, 1989, pp. 14–23.
5. Generalising monads to arrows;Hughes;Science of Computer Programming,2000