Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Information Flow in Interactive Systems. CONCUR 2010: 102-116