Bunke, Horst; Dickinson, Peter; Kraetzl, Miro; Wallis, Walter (2007). A Graph-Theoretic Approach to Network Dynamics. Progress in Computer Science and Applied Logic: Vol. 24. Basel: Birkhäuser
