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