Frédéric Prost: On the semantics of non-interference type-based analysis. JFLA 2001: 97-112