Stav dette: Synthesis of parallel algorithms / edited by John H. Reif.