A. Adetoye and N. Papanikolaou, “Static Analysis of Information Release in Interactive Programs”, eceasst, vol. 35, Apr. 2011.