Graph reduction on shared-memory multi processors by K.G. Langendoen