A secrecy-preserving language for distributed and object-oriented systems - Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun (Journal of logical and algebraic methods in programming, 2018)