@misc{indiciae4e10674cb6dd,
  title = {Abstract Hidden Markov Models: a monadic account of quantitative information flow},
  author = {Annabelle McIver and Carroll Morgan and Tahiry Rabehaja},
  year = {2019},
  doi = {10.23638/lmcs-15(1:36)2019},
  url = {https://arxiv.org/abs/1708.01688},
  note = {Source identifier: 1708.01688}
}