https://5dok.net/document/zwvwlkl7-formalmethodsandtools-departmentofeemcs-universityoftwente-jiˇríbarnatandjakubchaloupka-departmentofcomputerscience-facultyofinformatics-masarykuniversitybrno-distributedalgorithmsforsccdecomposition.html