MacLane (1978) uses a stronger definition, where the two categories are isomorphic rather than equivalent. MacLane, Saunders (1978), Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5, doi:10.1007/978-1-4757-4721-8, ISBN978-1-4419-3123-8
Wadler, Philip (1993). "Monads for functional programming". In Broy, Manfred (ed.). Program Design Calculi. NATO ASI Series. Vol. 118. Berlin, Heidelberg: Springer. pp. 233–264. doi:10.1007/978-3-662-02880-3_8. ISBN978-3-662-02880-3. "The concept of a monad, which arises from category theory, has been applied by Moggi to structure the denotational semantics of programming languages."
Bénabou, Jean (1967). "Introduction to bicategories". In Bénabou, J.; Davis, R.; Dold, A.; Isbell, J.; MacLane, S.; Oberst, U.; Roos, J. -E. (eds.). Reports of the Midwest Category Seminar. Lecture Notes in Mathematics. Vol. 47. Berlin, Heidelberg: Springer. pp. 1–77. doi:10.1007/BFb0074299. ISBN978-3-540-35545-8.
Wadler, Philip (1993). "Monads for functional programming". In Broy, Manfred (ed.). Program Design Calculi. NATO ASI Series. Vol. 118. Berlin, Heidelberg: Springer. pp. 233–264. doi:10.1007/978-3-662-02880-3_8. ISBN978-3-662-02880-3. "The concept of a monad, which arises from category theory, has been applied by Moggi to structure the denotational semantics of programming languages."