Graph-Level Operations: A High-Level Interface for Graph Visualization Technique Specification. | AMiner