
@article{hoelzl2017mdp,
  author     = {Johannes H{\"o}lzl},
  title      = {Markov chains and {Markov} decision processes in {Isabelle/HOL}},
  journal    = {Journal of Automated Reasoning},
  doi        = {10.1007/s10817-016-9401-5},
  year       = {2017},
  publisher  = {Springer}
}


@article{Markov13,
  added-at = {2008-03-17T11:27:54.000+0100},
  author = {Markov, A. A.},
  biburl = {https://www.bibsonomy.org/bibtex/2524f90b3a901a933f9e1071f84276925/nlp},
  interhash = {e56c253b0398259ec35cc226713c18f5},
  intrahash = {524f90b3a901a933f9e1071f84276925},
  journal = {Izvistia Imperatorskoi Akademii Nauk (Bulletin de {l'Acad\'{e}mie}
  {Imp\'{e}riale} des Sciences de {St.-P\'{e}tersbourg)}},
  keywords = {2000 book nlp},
  note = {English translation by Morris Halle, 1956.},
  pages = {153--162},
  series = 6,
  timestamp = {2008-03-17T11:32:50.000+0100},
  title = {Essai d'une recherche statistique sur le texte du roman ``{E}ugene
  {O}negin'' illustrant la liaison des epreuve en chain ({`Example} of a
  statistical investigation of the text of ``{E}ugene {O}negin" illustrating
  the dependence between samples in chain')},
  volume = 7,
  year = 1913
}

@book{Jurafsky,
  author    = {Dan Jurafsky and James H. Martin},
  title     = {Speech and language processing},
  year      = {2017},
  chapter   = {9},
  url       = {https://web.stanford.edu/~jurafsky/slp3/9.pdf},
}