"The Model Evolution Calculus."

Peter Baumgartner, Cesare Tinelli (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics