On the Correctness of the Factoring Transformation | Publicación