Ebadi, H., and D. Sands. “Featherweight PINQ”. Journal of Privacy and Confidentiality, vol. 7, no. 2, Jan. 2017, doi:10.29012/jpc.v7i2.653.