Parallel algorithm derivation and program transformation
by Paige, Robert A., Reif, J. H., (John H.), Wachter, R. F., ONR Workshop on Parallel Algorithm Design and Program Transformation, Courant Institute of Mathematical Sciences)
fromKluwer international series in engineering and computer sci…