Some nice slides on Tarjan's algorithm