On Identifying Strongly Connected Components in Parallel
Introduction to Algorithms