A Strategy for the Formal Composition of Frameworks. - Walter Mesquita; Augusto Sampaio 001; Ana Cristina Vieira de Melo (SEFM, 2005)