@article{BCP08,
 author = {Jiří Barnat and Jakub Chaloupka and Jaco van de Pol},
 journal = {ENTCS},
 number = {1},
 pages = {63--77},
 title = {{Improved Distributed Algorithms for SCC Decomposition}},
 volume = {198},
 year = {2008}
}