Electronic Communications of the EASST Volume 30 ( 2010 ) International Colloquium on Graph and Model Transformation On the occasion of the 65 th birthday of Hartmut Ehrig ( GraMoT 2010 ) Second-Order Value Numbering