E. Tarjan, R., Lamport, L., Merz, S., A. Kuppe, M., & Mor, P. Concurrent SCC TLC (Version 1.0.0) [Computer software]. https://github.com/lemmy/ConcurrentSCC