Barnes, Greg Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Barnes, G., & Edmonds, J. A. (1998). Time-Space Lower Bounds for Directed st-Connectivity on Graph Automata Models. SIAM Journal on Computing, 27(4), 1190-1202.