Pierre Jouvelot Semantic Parallelization: A Practical Exercise in Abstract Interpretation. 39-48 1987 POPL db/conf/popl/popl87.html#Jouvelot87