José Luiz Fiadeiro T. S. E. Maibaum Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. 72-80 1995 SIGSOFT FSE http://doi.acm.org/10.1145/222124.222141 db/conf/sigsoft/fse95.html#FiadeiroM95