Relative expressiveness of the edge/adjacency language for graph theory T. McKee (1984) Fundamenta Mathematicae