1. Lect Notes Comput Sci;L.F. Andrade,1999
2. Andrade, L.F., Fiadeiro, J.L. and Wermelinger, M.: “Enforcing Business Policies through Automated Reconfiguration”, in 16th Int. Conf. On Automated Software Engineering, IEEE Computer Society Press 2001, 426–429.
3. Booch, G., Rumbaugh, J., and Jacobson, I.: The Unified Modeling Language User Guide, Addison-Wesley, 1999
4. Chandy, K. and Misra, J.: Parallel Program Design — A Foundation, Addison-Wesley, 1988
5. Clark, R. and Moreira, A.: “Constructing Formal Specifications from Informal Requirements”, in proc. Software Technology and Engineering Practice, IEEE Computer Society, Los Alamitos, California, 1997, pp. 68–75