A secrecy-preserving language for distributed and object-oriented systems
scientific article; zbMATH DE number 6895324