@inproceedings{McIver_MR_17,
    address          = {Lyon, France},
    author           = {McIver, Annabelle and Morgan, Carroll and Rabehaja, Tahiry},
    booktitle        = {International Conference on Relational and Algebraic Methods in Computer Science},
    doi              = {10.1007/978-3-319-57418-9_1},
    editor           = {{Peter H\"{o}fner, Damien Pous, Georg Struth}},
    keywords         = {refinement; information flow; security; monotonicity; probabilistic semantics; compositional
                        reasoning; dalenius desideratum},
    month            = may,
    pages            = {3--23},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9545.pdf},
    publisher        = {Springer},
    title            = {Algebra for Quantitative Information Flow},
    year             = {2017}
  }