@inbook{Rabehaja_MMS_19,
    author           = {Rabehaja, Tahiry and McIver, Annabelle and Morgan, Carroll and Struth, Georg},
    booktitle        = {The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and
                        Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday},
    doi              = {10.1007/978-3-030-31175-9_19},
    editor           = {Alvim, M{\'a}rio S. and Chatzikokolakis, Kostas and Olarte, Carlos and Valencia, Frank},
    isbn             = {978-3-030-31175-9},
    pages            = {329--343},
    paperurl         = {https://trustworthy.systems/publications/papers/Rabehaja_MMS_19.pdf},
    publisher        = {Springer International Publishing},
    title            = {Categorical Information Flow},
    url              = {https://doi.org/10.1007/978-3-030-31175-9_19},
    year             = {2019}
  }