Abstraction-carrying code: a model for mobile code safety
scientific article; zbMATH DE number 5354442