5 works on record
Theory of Objects
2012
Trustworthy Global Computing
La sécurité informatique
Principles of Security and Trust
CONCUR 2005 - Concurrency Theory
