Correctness Preserving Transformations for the Early Phases of Software Development | Publicación