Finding a minimal transitive reduction in a strongly connected digraph within linear time - Simon, Klaus 1958- (1989)