1. Cornélio, M., Cavalcanti, A., Sampaio, A.: Refactoring by Transformation. Electronic Notes in Theoretical Computer Science 70(3) (2002)
2. Cruz, A.M., Barbosa, L.S., Oliveira, J.N.: From algebras to objects: Generation and composition. J. UCS 11(10), 1580–1612 (2005)
3. FACIT Series;J. Derrick,2001
4. Fischer, C.: CSP-OZ – a combination of CSP and Object-Z. In: Bowman, H., Derrick, J. (eds.) FMOODS 1997, pp. 423–438. Chapman and Hall, Boca Raton (1997)
5. Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques for Software Development. Cambridge University Press, Cambridge (1998)