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