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