Abstract specialization and its application to program parallelization | Publicación