1. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)
2. Lecture Notes in Computer Science;G. Agha,1992
3. Lecture Notes in Computer Science;R. Alpízar,2010
4. Anderson, R.: Security Engineering – A Guide to Building Dependable Distributed Systems. Wiley (2001)
5. Attali, I., Caromel, D., Henrio, L., Aguila, F.L.D.: Secured information flow for asynchronous sequential processes. ENTCS 180(1), 17–34 (2007)