Adetoye, A.; Papanikolaou, N. Static Analysis of Information Release in Interactive Programs. eceasst 2011, 35.