@article{Morgan_MR_19,
    author           = {Morgan, Carroll and McIver, Annabelle and Rabehaja, Tahiry},
    date             = {2019-3-31},
    issue            = {1},
    journal          = {Mathematical Structures in Computer Science},
    month            = mar,
    pages            = {36:1-36:50},
    paperurl         = {https://trustworthy.systems/publications/full_text/Morgan_MR_19.pdf},
    publisher        = {Cambridge University Press},
    title            = {Abstract hidden {Markov} models: a monadic account of quantitative information flow},
    volume           = {15},
    year             = {2019}
  }