1. Ward, M.P., Bennett, K.H.: Formal methods for legacy systems. Journal of Software Maintenance and Evolution 7(3), 203–219 (1995)
2. Lecture Notes in Computer Science;M.R.S. Borges,2005
3. Kamoun, F.: A Roadmap towards the Convergence of Business Process Management and Service Oriented Architecture. ACM Ubiquity 8(14), 79–84 (2007)
4. Nascimento, G.S., Iochpe, C., Thom, L.H., Reichert, M.: A Method for Rewriting Legacy Systems using Business Process Managemet Technology. In: 11th International Conference on Enterprise Information Systems (ICEIS), pp. 57–62. ISAS, Milan (2009)
5. Lecture Notes in Computer Science;M. Acharya,2005