J. Buisson, C. Carro, and F. Dagnat, Issues in applying a model driven approach to reconngurations of satellite software, Workshop on Hot Topics in Software Upgrades

I. Lynagh, An algebra of patches, pdf. A more recent

J. Jacobson, A formalization of darcs patch theory using inverse semigroups

V. Wiels and S. M. Easterbrook, Management of evolving speciications using category theory, ASE, p.pp. ???

A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, p.pp. ???
DOI : 10.1109/2.774917

A. Pnueli, The temporal semantics of concurrent programs, Theoretical Computer Science, p.pp. ???

J. L. Fiadeiro and T. Maibaum, Temporal theories as modularisation units for concurrent system speciications, Formal Aspects of Computing Journal, p.pp. ????

P. Castro, N. Aguirre, C. L. Pombo, and T. Maibaum, Towards managing dynamic reconnguration of software systems in a categorical setting, ICTAC, p.pp. ????