Rensink, A.; Zambon, E. Neighbourhood Abstraction in GROOVE. ECEASST 2011, 32.