Documents Savoirs Development of correct graph transformation systems [Elektronische Ressource] / vorgelegt von Karl-Heinz Pennemann Karl-Heinz Pennemann