A security flow control algorithm and its denotational semantics correctness proof
scientific article; zbMATH DE number 110532