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