Data structures and network algorithms - Tarjan, Robert E., 1948- (Society for Industrial and Applied Mathematics, 1983)