@article(DBLP:journals/tcs/AczelAMV03,
 author       = {Peter Aczel and Ji\v{r}\'\i\ Ad{\'a}mek and Stefan Milius and Ji\v{r}\'\i\ Velebil},
 year         = {2003},
 title        = {{Infinite trees and completely iterative theories: a coalgebraic view}},
 journal      = {Theoretical Computer Science},
 volume       = {300},
 number       = {1-3},
 pages        = {1–45},
 doi          = {10.1016/S0304-3975(02)00728-4},
)
@article(DBLP:journals/lmcs/AdamekMV06,
 author       = {Ji\v{r}\'\i\ Ad{\'a}mek and Stefan Milius and Ji\v{r}\'\i\ Velebil},
 year         = {2006},
 title        = {Elgot Algebras},
 journal      = {Logical Methods in Computer Science},
 volume       = {2},
 number       = {5},
 doi          = {10.2168/LMCS-2(5:4)2006},
)
@inproceedings(induction-with-effects,
 author       = {Robert Atkey and Neil Ghani and Bart Jacobs and Patricia Johann},
 year         = {2012},
 title        = {Fibrational Induction Meets Effects},
 editor       = {Lars Birkedal},
 booktitle    = {Foundations of Software Science and Computational Structures},
 series       = {Lecture Notes in Computer Science},
 volume       = {7213},
 publisher    = {Springer},
 pages        = {42--57},
 doi          = {10.1007/978-3-642-28729-9\_3},
)
@article(interleaving,
 author       = {Robert Atkey and Patricia Johann},
 year         = {2015},
 title        = {Interleaving data and effects},
 journal      = {Journal of Functional Programming},
 volume       = {25},
 doi          = {10.1017/S0956796815000209},
)
@inproceedings(DBLP:conf/ctcs/BackhouseBGW95,
 author       = {Roland Carl Backhouse and Marcel Bijsterveld and Rik van Geldrop and Jaap van der Woude},
 year         = {1995},
 title        = {{Categorical Fixed Point Calculus}},
 booktitle    = {{Category Theory and Computer Science}},
 pages        = {159–179},
 doi          = {10.1007/3-540-60164-3\_25},
)
@book(ttt,
 author       = {Michael Barr and Charles Wells},
 year         = {1985},
 title        = {Toposes, Triples, and Theories},
 series       = {Grundlehren der mathematischen Wissenschaften},
 publisher    = {Springer-Verlag},
 address      = {New York},
 url          = {http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html},
 doi          = {10.1007/978-1-4899-0021-0},
)
@phdthesis(BeckPhD,
 author       = {Jonathan M. Beck},
 year         = {1967},
 title        = {Triples, Algebras and Cohomology},
 school       = {Columbia University},
 url          = {http://www.tac.mta.ca/tac/reprints/articles/2/tr2abs.html},
)
@incollection(distr,
 author       = {Jonathan M. Beck},
 year         = {1969},
 title        = {Distributive laws},
 editor       = {B. Eckmann},
 booktitle    = {Seminar on Triples and Categorical Homology Theory},
 series       = {Lecture Notes in Mathematics},
 volume       = {80},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {119--140},
 doi          = {10.1007/BFb0083084},
 url          = {http://www.tac.mta.ca/tac/reprints/articles/18/tr18abs.html},
)
@article(DBLP:journals/jfp/Bird06,
 author       = {Richard S. Bird},
 year         = {2006},
 title        = {A program to solve {S}udoku (functional pearl)},
 journal      = {Journal of Functional Programming},
 volume       = {16},
 number       = {6},
 pages        = {671--679},
 doi          = {10.1017/S0956796806006058},
)
@article(Filinski:2007:IRE:1291220.1291168,
 author       = {Andrzej Filinski and St{\o}vring, Kristian},
 year         = {2007},
 title        = {Inductive Reasoning About Effectful Data Types},
 journal      = {SIGPLAN Not.},
 volume       = {42},
 number       = {9},
 pages        = {97--110},
 doi          = {10.1145/1291220.1291168},
)
@article(fiorestrong,
 author       = {Marcelo Fiore},
 year         = {2013},
 title        = {An equational metalogic for monadic equational systems},
 journal      = {Theory and Applications of Categories},
 volume       = {27},
 number       = {18},
 pages        = {465--492},
 url          = {http://www.tac.mta.ca/tac/volumes/27/18/27-18abs.html},
)
@inproceedings(DBLP:conf/lics/FiorePT99,
 author       = {Marcelo P. Fiore and Gordon D. Plotkin and Daniele Turi},
 year         = {1999},
 title        = {Abstract syntax and variable binding},
 booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999},
 publisher    = {{IEEE} Computer Society},
 pages        = {193--202},
 doi          = {10.1109/LICS.1999.782615},
)
@inproceedings(DBLP:conf/icfp/Hinze00,
 author       = {Ralf Hinze},
 year         = {2000},
 title        = {Deriving backtracking monad transformers (functional pearl)},
 editor       = {Martin Odersky and Philip Wadler},
 booktitle    = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '00), Montreal, Canada, September 18-21, 2000.},
 publisher    = {{ACM}},
 pages        = {186--197},
 doi          = {10.1145/351240.351258},
)
@inproceedings(DBLP:conf/mpc/Hinze12,
 author       = {Ralf Hinze},
 year         = {2012},
 title        = {{K}an extensions for program optimisation or: {A}rt and {D}an explain an old trick},
 editor       = {Jeremy Gibbons and Pablo Nogueira},
 booktitle    = {Mathematics of Program Construction - 11th International Conference, {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {7342},
 publisher    = {Springer},
 pages        = {324--362},
 doi          = {10.1007/978-3-642-31113-0\_16},
)
@inproceedings(DBLP:conf/afp/Hughes95,
 author       = {John Hughes},
 year         = {1995},
 title        = {The design of a pretty-printing Library},
 editor       = {Johan Jeuring and Erik Meijer},
 booktitle    = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\r a}stad, Sweden, May 24-30, 1995, Tutorial Text},
 series       = {Lecture Notes in Computer Science},
 volume       = {925},
 publisher    = {Springer},
 pages        = {53--96},
 doi          = {10.1007/3-540-59451-5\_3},
)
@article(DBLP:journals/tcs/HylandPP06,
 author       = {Martin Hyland and Gordon D. Plotkin and John Power},
 year         = {2006},
 title        = {{Combining effects: Sum and tensor}},
 journal      = {Theoretical Computer Science},
 volume       = {357},
 number       = {1-3},
 pages        = {70–99},
 doi          = {10.1016/j.tcs.2006.03.013},
)
@article(DBLP:journals/tcs/HylandP06,
 author       = {Martin Hyland and John Power},
 year         = {2006},
 title        = {Discrete {L}awvere theories and computational effects},
 journal      = {Theoretical Computer Science},
 volume       = {366},
 number       = {1-2},
 pages        = {144--162},
 doi          = {10.1016/j.tcs.2006.07.007},
)
@article(Jaskelioff20104441,
 author       = {Mauro Jaskelioff and Eugenio Moggi},
 year         = {2010},
 title        = {{Monad transformers as monoid transformers}},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 number       = {51–52},
 pages        = {4441–4466},
 doi          = {10.1016/j.tcs.2010.09.011},
)
@article(BAZ:4759448,
 author       = {Gregory M. Kelly},
 year         = {1980},
 title        = {A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on},
 journal      = {Bulletin of the Australian Mathematical Society},
 volume       = {22},
 pages        = {1--83},
 doi          = {10.1017/S0004972700006353},
)
@article(DBLP:conf/icfp/KiselyovSFS05,
 author       = {Oleg Kiselyov and Chung-chieh Shan and Daniel P. Friedman and Amr Sabry},
 year         = {2005},
 title        = {Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl)},
 journal      = {SIGPLAN Notices},
 volume       = {40},
 number       = {9},
 pages        = {192--203},
 doi          = {10.1145/1090189.1086390},
)
@article(JAZ:4877532,
 author       = {Anders Kock},
 year         = {1971},
 title        = {Closed categories generated by commutative monads},
 journal      = {Journal of the Australian Mathematical Society},
 volume       = {12},
 pages        = {405--424},
 doi          = {10.1017/S1446788700010272},
)
@article(leinstercod,
 author       = {Tom Leinster},
 year         = {2013},
 title        = {Codensity and the ultrafilter monad},
 journal      = {Theory and Applications of Categories},
 volume       = {28},
 number       = {13},
 pages        = {332--370},
 url          = {http://www.tac.mta.ca/tac/volumes/28/13/28-13abs.html},
)
@book(lane1998categories,
 author       = {Mac Lane, Saunders},
 year         = {1998},
 title        = {Categories for the Working Mathematician},
 series       = {Graduate Texts in Mathematics},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-4721-8},
)
@techreport(citeulike:763238,
 author       = {Eugenio Moggi},
 year         = {1989},
 title        = {{An Abstract View of Programming Languages}},
 type         = {Technical Report},
 institution  = {Edinburgh University},
 url          = {http://www.lfcs.inf.ed.ac.uk/reports/90/ECS-LFCS-90-113/},
)
@incollection(EPTCS1296,
 author       = {Philip Mulry},
 year         = {2013},
 title        = {Notions of Monad Strength},
 editor       = {Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff},
 booktitle    = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, {\rm Manhattan, Kansas, USA, 19-20th September 2013}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {129},
 publisher    = {Open Publishing Association},
 pages        = {67--83},
 doi          = {10.4204/EPTCS.129.6},
)
@article(DBLP:journals/entcs/PirogG14,
 author       = {Maciej Pir{\'{o}}g and Jeremy Gibbons},
 year         = {2014},
 title        = {The Coinductive Resumption Monad},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {308},
 pages        = {273--288},
 doi          = {10.1016/j.entcs.2014.10.015},
 note         = {Mathematical Foundations of Programming Semantics ({MFPS} XXX)},
)
@article(DBLP:journals/acs/PlotkinP03,
 author       = {Gordon D. Plotkin and John Power},
 year         = {2003},
 title        = {Algebraic Operations and Generic Effects},
 journal      = {Applied Categorical Structures},
 volume       = {11},
 number       = {1},
 pages        = {69--94},
 doi          = {10.1023/A:1023064908962},
)
@unpublished(RivasJaskelioff2014,
 author       = {Exequiel Rivas and Mauro Jaskelioff},
 year         = {2014},
 title        = {Notions of Computation as Monoids},
 url          = {http://arxiv.org/abs/1406.4823},
 note         = {Submitted to the Journal of Functional Programming},
)
@inproceedings(DBLP:conf/ppdp/RivasJS15,
 author       = {Exequiel Rivas and Mauro Jaskelioff and Tom Schrijvers},
 year         = {2015},
 title        = {From monoids to near-semirings: the essence of MonadPlus and alternative},
 editor       = {Moreno Falaschi and Elvira Albert},
 booktitle    = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
 publisher    = {{ACM}},
 pages        = {196--207},
 doi          = {10.1145/2790449.2790514},
)
@inproceedings(DBLP:conf/fpca/Wadler85,
 author       = {Philip Wadler},
 year         = {1985},
 title        = {How to replace failure by a list of Successes: {A} method for exception handling, backtracking, and pattern matching in lazy functional languages},
 editor       = {Jean{-}Pierre Jouannaud},
 booktitle    = {Functional Programming Languages and Computer Architecture, {FPCA} 1985, Nancy, France, September 16-19, 1985, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {201},
 publisher    = {Springer},
 pages        = {113--128},
 doi          = {10.1007/3-540-15975-4\_33},
)
@article(Wand,
 author       = {Mitchell Wand and Dale Vaillancourt},
 year         = {2004},
 title        = {Relating Models of Backtracking},
 journal      = {SIGPLAN Notices},
 volume       = {39},
 number       = {9},
 pages        = {54--65},
 doi          = {10.1145/1016848.1016861},
)
@article(wolff,
 author       = {Harvey Wolff},
 year         = {1973},
 title        = {Monads and monoids on symmetric monoidal closed categories},
 journal      = {Archiv der Mathematik},
 volume       = {24},
 number       = {1},
 pages        = {113--120},
 doi          = {10.1007/BF01228184},
)