Theory of Constraints and Application Conditions: From Graphs to High-Level Structures. - Ehrig, Hartmut; Ehrig, Karsten; Habel, Annegret; Pennemann, Karl-Heinz (Fundamenta Informaticae, 2006)