Trade-offs in Processing Large Graphs: Representations, Storage, Systems and Algorithms
An algorithm for online topological ordering