An abstract model of hierarchical graphs and hierarchical graph transformation / Giorgio Busatto