Integration of a security type system into a program logic
scientific article; zbMATH DE number 5307113