@inbook{qif,
  title = "Quantitative Information Flow with Monads in Haskell",
  author = "Jeremy Gibbons and Annabelle McIver and Carroll Morgan and Tom Schrijvers",
  year = "2020",
  booktitle = "Foundations of Probabilistic Programming",
  editor = "Gilles Barthe and Joost-Pieter Katoen and Alexandra Silva",
  publisher = "Cambridge University Press",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/kuifje.pdf",
}