The model evolution calculus. (2003)

by P Baumgartner, C Tinelli
Venue:Universitat Koblenz Landau,