A Transformation to Provide Deadlock-Free Programs | Publicación