@article{Perron_Frobenius-AFP,
  author  = {Jose Divasón and Ondřej Kunčar and René Thiemann and Akihisa Yamada},
  title   = {Perron-Frobenius Theorem for Spectral Radius Analysis},
  journal = {Archive of Formal Proofs},
  month   = may,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/Perron_Frobenius.html},
            Formal proof development},
  ISSN    = {2150-914x},
}


@article{Markov_Models-AFP,
  author  = {Johannes Hölzl and Tobias Nipkow},
  title   = {Markov Models},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2012,
  note    = {\url{http://isa-afp.org/entries/Markov_Models.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
