Depth First Search on Digraphs