H. Ebadi and D. Sands, “Featherweight PINQ”, JPC, vol. 7, no. 2, Jan. 2017.