Graph ADT and representations