Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend: Modelling Metamorphism by Abstract Interpretation. SAS 2010: 218-235