@article(ArticleK,
 author       = "Hukak and Peterson and Fasel",
 year         = "1999",
 title        = "A Gentle Introduction to Haskell 98",
 url          = "http://www.haskell.org/tutorial/",
 note         = "Manuscript",
)
@article(articleA,
 author       = "King and Wadler",
 year         = "1992",
 title        = "Combining monads",
 journal      = "Proceedings of the 1992 Glasgow Workshop on Functional Programming",
 pages        = "134--143",
 doi          = "10.1007/978-1-4471-3215-8\_12",
 url          = "http://homepages.inf.ed.ac.uk/wadler/topics/monads.html",
)
@article(articleB,
 author       = "Kock",
 year         = "1970",
 title        = "Monads on symmetric monoidal closed categories",
 journal      = "Archiv der Mathematik",
 volume       = "21",
 number       = "1",
 pages        = "1--10",
 doi          = "10.1007/BF01220868",
)
@book(bookA,
 author       = "Manes",
 year         = "1976",
 title        = "Algebraic Theories",
 series       = "Graduate Texts in Mathematics",
 volume       = "26",
 publisher    = "Springer Verlag",
 doi          = "10.1007/978-1-4612-9860-1",
)
@article(articleC,
 author       = "Manes and Mulry",
 year         = "2007",
 title        = "Monad Compositions I: General Constructions and Recursive Distributive laws",
 journal      = "Theory and Applications of Categories",
 volume       = "18",
 number       = "7",
 pages        = "172--208",
 url          = "www.tac.mta.ca/tac/volumes/18/7/18-07.pdf",
)
@article(articleD,
 author       = "Manes and Mulry",
 year         = "2008",
 title        = "Monad Compositions II: Kleisli Strength",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "18",
 number       = "3",
 pages        = "613--643",
 doi          = "10.1017/S0960129508006695",
)
@article(articleI,
 author       = "Moggi",
 year         = "1991",
 title        = "Notions of computation and monads",
 journal      = "Information and Computation",
 volume       = "18",
 number       = "3",
 pages        = "55 –-- 92",
 doi          = "10.1016/0890-5401",
)
@article(articleM,
 author       = "Mulry",
 year         = "1992",
 title        = "Strong monads, algebras and fixed points",
 journal      = "London Math Society Lecture Series",
 volume       = "177",
 pages        = "202--216",
 doi          = "10.1017/CBO9780511525902.012",
)
@article(articleE,
 author       = "Mulry",
 year         = "1994",
 title        = "Lifting theorems for Kleisli categories",
 journal      = "Springer Lecture Notes in Computer Science",
 volume       = "802",
 pages        = "304--319",
 doi          = "10.1007/3-540-58027-1\_15",
)
@article(articleF,
 author       = "Mulry",
 year         = "2013",
 title        = "Interchange laws for monads",
 note         = "To appear",
)
@article(articleH,
 author       = "Mulry",
 year         = "2013",
 title        = "Monad transformers and distributive laws",
 note         = "To appear",
)
@article(articleG,
 author       = "Scott",
 year         = "1970",
 title        = "Outline of a mathematical theory of computation",
 journal      = "Oxford University Computing Laboratory",
 volume       = "Technical Monograph PRG-2",
 number       = "3",
)
@article(articleJ,
 author       = "Street",
 year         = "1972",
 title        = "The formal theory of monads",
 journal      = "J. Pure Appl. Algebra",
 volume       = "2",
 number       = "2",
 pages        = "149 –-- 168",
 doi          = "10.1016/0022-4049(72)90019-9",
)
@article(articleL,
 author       = "Wadler",
 year         = "1992",
 title        = "Comprehending Monads",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "2",
 number       = "4",
 pages        = "461--493",
 doi          = "10.1017/S0960129500001560",
)