Graph drawing algorithms for the visualization of graphs (Prentice Hall, 1999)