1. Composing specifications;Abadi;ACM Transactions on Programming Languages and Systems,1993
2. Alencar, Paulo, Cowan, Donald, Dong, Jing, Lucena, Carlos, 1999. A pattern-based approach to structural design composition. In: Proceedings of the IEEE 23rd Annual International Computer Software & Applications Conference (COMPSAC), Phoenix USA, pp. 160–165, October.
3. Alencar, Paulo, Cowan, Donald, Lucena, Carlos, 1996. A formal approach to architectural design patterns. In: Proceedings of the Third International Symposium of Formal Methods Europe (FME), pp. 576–594.
4. A logical theory of interfaces and objects;Alencar;IEEE Transactions on Software Engineering,2002
5. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Transactions on Dependable and Secure Computing,2004