1 Formalising Behaviour-Preserving Object-Oriented Program Transformations Tom Mens( [email protected] ) Postdoctoral Fellow – Fund for Scientific Research.
