Synthsizing calculational laws for parallelization. under preparation (1997)

by Z Hu, M Takeichi