Constraint Based Transformation Theory. - Stefan Natelberg (Informatiktage, 2008)

Conditioned semantic slicing for abstraction; industrial experiment. - Martin P. Ward; Hussein Zedan; Matthias Ladkau; Stefan Natelberg (Softw. Pract. Exp., 2008)

Constraint based program transformation theory. - Stefan Natelberg (2009)