Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter: Type Abstraction for Relaxed Noninterference. ECOOP 2017: 7:1-7:27