@article(Ant96,
 author       = {Valentin~M. Antimirov},
 year         = {1996},
 title        = {Partial Derivatives of Regular Expressions and Finite Automaton Constructions},
 journal      = {Theor. Comput. Sci.},
 volume       = {155},
 number       = {2},
 pages        = {291--319},
 doi          = {10.1016/0304-3975(95)00182-4},
)
@article(BS86,
 author       = {Gerard Berry and Ravi Sethi},
 year         = {1986},
 title        = {From regular expressions to deterministic automata},
 journal      = {Theoretical computer science},
 volume       = {48},
 pages        = {117--126},
 doi          = {10.1016/0304-3975(86)90088-5},
)
@article(Brzo64,
 author       = {Janusz~A. Brzozowski},
 year         = {1964},
 title        = {Derivatives of Regular Expressions},
 journal      = {J. {ACM}},
 volume       = {11},
 number       = {4},
 pages        = {481--494},
 doi          = {10.1145/321239.321249},
)
@article(CF11,
 author       = {Pascal Caron and Marianne Flouret},
 year         = {2011},
 title        = {From Glushkov WFAs to K-Expressions},
 journal      = {Fundam. Informaticae},
 volume       = {109},
 number       = {1},
 pages        = {1--25},
 doi          = {10.3233/FI-2011-427},
)
@article(CLOZ04,
 author       = {Jean{-}Marc Champarnaud and {\'{E}}ric Laugerotte and Faissal Ouardi and Djelloul Ziadi},
 year         = {2004},
 title        = {From Regular Weighted Expressions To Finite Automata},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {15},
 number       = {5},
 pages        = {687--700},
 doi          = {10.1142/S0129054104002698},
)
@article(CP17,
 author       = {Thomas Colcombet and Daniela Petrisan},
 year         = {2017},
 title        = {Automata and minimization},
 journal      = {{SIGLOG} News},
 volume       = {4},
 number       = {2},
 pages        = {4--27},
 doi          = {10.1145/3090064.3090066},
)
@inproceedings(AW12,
 author       = {Richard~A. Eisenberg and Stephanie Weirich},
 year         = {2012},
 title        = {Dependently typed programming with singletons},
 booktitle    = {Haskell},
 publisher    = {{ACM}},
 pages        = {117--130},
 doi          = {10.1145/2364506.2364522},
)
@article(Glu61,
 author       = {Victor~Mikhaylovich Glushkov},
 year         = {1961},
 title        = {The abstract theory of automata},
 journal      = {Russian Mathematical Surveys},
 volume       = {16},
 number       = {5},
 pages        = {1},
 doi          = {10.1070/rm1961v016n05abeh004112},
)
@inproceedings(MPJ95,
 author       = {Mark~P. Jones},
 year         = {1995},
 title        = {Functional Programming with Overloading and Higher-Order Polymorphism},
 booktitle    = {Adv. Func. Prog.},
 series       = {LNCS},
 volume       = {925},
 publisher    = {Springer},
 pages        = {97--136},
 doi          = {10.1007/3-540-59451-5\_4},
)
@article(Kle56,
 author       = {S.~Kleene},
 year         = {1956},
 title        = {Representation of events in nerve nets and finite automata},
 journal      = {Automata Studies},
 volume       = {Ann. Math. Studies 34},
 pages        = {3--41},
 doi          = {10.1515/9781400882618-002},
 note         = {Princeton U. Press},
)
@book(LV12,
 author       = {Jean-Louis Loday and Bruno Vallette},
 year         = {2012},
 title        = {Algebraic operads},
 volume       = {346},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-3-642-30362-3\_5},
)
@article(LS05,
 author       = {Sylvain Lombardy and Jacques Sakarovitch},
 year         = {2005},
 title        = {Derivatives of rational expressions with multiplicity},
 journal      = {Theor. Comput. Sci.},
 volume       = {332},
 number       = {1-3},
 pages        = {141--177},
 doi          = {10.1016/j.tcs.2004.10.016},
)
@book(May06,
 author       = {J~Peter May},
 year         = {2006},
 title        = {The geometry of iterated loop spaces},
 volume       = {271},
 publisher    = {Springer},
 doi          = {10.1007/BFb0067491},
)
@misc(AppWeb,
 author       = {Ludovic Mignot},
 title        = {Application: Monadic derivatives},
 howpublished = {\url{http://ludovicmignot.free.fr/programmes/monDer/index.html}},
 note         = {Accessed: 2022-05-26},
)
@phdthesis(LM20,
 author       = {Ludovic Mignot},
 year         = {2020},
 title        = {Une proposition d'implantation des structures d'automates, d'expressions et de leurs algorithmes associés utilisant les catégories enrichies (in french)},
 type         = {Habilitation à diriger des recherches},
 school       = {Université de Rouen normandie},
 doi          = {10.48550/arXiv.2012.10641},
 url          = {https://arxiv.org/abs/2012.10641},
 note         = {212 pages},
)
@misc(gitLM,
 author       = {Ludovic Mignot},
 year         = {2022},
 title        = {Monadic derivatives},
 howpublished = {\url{https://github.com/LudovicMignot/MonadicDerivatives}},
)
@article(Sch61,
 author       = {Marcel~Paul Sch{\"u}tzenberger},
 year         = {1961},
 title        = {On the definition of a family of automata},
 journal      = {Inf. Control.},
 volume       = {4},
 number       = {2-3},
 pages        = {245--270},
 doi          = {10.1016/S0019-9958(61)80020-X},
)