@article{ebadi2017featherweight,
  title={Featherweight PINQ},
  author={Ebadi, Hamid and Sands, David},
  journal={Journal of Privacy and Security},
  year={2017}
}