@misc{indiciae68f270a62751,
  title = {An Algebraic Approach for Reasoning About Information Flow},
  author = {Arthur Américo and Mário S. Alvim and Annabelle McIver},
  year = {2018},
  url = {https://arxiv.org/abs/1801.08090},
  note = {Source identifier: 1801.08090}
}