Silvano Martello: An algorithm for finding a minimal equivalent graph of a strongly connected digraph. Computing 21(3): 183-194 (1979)