Pierre David Semantic Analysis for Parallelizing C. 647-652 1992 conf/conpar/1992 CONPAR db/conf/conpar/conpar1992.html#David92 https://doi.org/10.1007/3-540-55895-0_465