@article{DBLP:journals/corr/AltenkirchCU14,
  author    = {Thorsten Altenkirch and
               James Chapman and
               Tarmo Uustalu},
  title     = {Monads need not be endofunctors},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {1},
  year      = {2015},
  url       = {https://doi.org/10.2168/LMCS-11(1:3)2015},
  doi       = {10.2168/LMCS-11(1:3)2015},
  timestamp = {Wed, 03 May 2017 14:47:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AltenkirchCU14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@book {BourbakiAlgebraI,
    AUTHOR = {Bourbaki, Nicolas},
     TITLE = {Elements of mathematics. {A}lgebra, {P}art {I}: {C}hapters
              1-3},
      NOTE = {Translated from the French},
 PUBLISHER = {Hermann, Paris; Addison-Wesley Publishing Co., Reading Mass.},
      YEAR = {1974},
     PAGES = {xxiii+709},
   MRCLASS = {00A05 (15-XX)},
  MRNUMBER = {0354207},
}

@article{Adamek1974,
  author    = {Adámek, Ji\^rí},
  journal   = {Commentationes Mathematicae Universitatis Carolinae},
  language  = {eng},
  number    = {4},
  pages     = {589-602},
  publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
  title     = {Free algebras and automata realizations in the language of categories},
  url       = {http://eudml.org/doc/16649},
  volume    = {015},
  year      = {1974},
}

@InBook{Burris2006,
  author = 	 {Burris, Stanley and Sankappanavar, Hanamantagida Pandappa},
  title = 	 {A Course in Universal Algebra-With 36 Illustrations},
  chapter = 	 {Chapter I - Lattices},
  year = 	 {2006}
}

