Synthesis of parallel algorithms - Reif, J. H.; Reif, John H. (M. Kaufmann, 1993)