@inbook{Gibbons_MMS_20,
    address          = {Cambridge},
    author           = {Jeremy Gibbons and Annabelle {McIver} and Carroll Morgan and Tom Schrijvers},
    booktitle        = {Foundations of Probabilistic Programming},
    doi              = {10.1017/9781108770750.013},
    month            = nov,
    pages            = {391--448},
    paperurl         = {https://trustworthy.systems/publications/papers/Gibbons_MMS_20.pdf},
    publisher        = {Cambridge University Press},
    title            = {Quantitative Information Flow with Monads in {Haskell}},
    year             = {2020}
  }